Research Software libraries and reusability || Program analysis and transformation || Generic programming || Formal descriptions of software ACM classification: D.1 [Programming Techniques ]; D.2 [Software Engineering ]; D.2.13 [Reusable Software ]; D.3 [Programming Languages ]; K.6 [ Management of Comp. and Information Systems ]

I'm heading the research group Software Methodologies and Systems (SMS).
Visit our Wiki at http://sms.chalmers.se for more information about our group, the research projects, and our sponsors.

Selected past projects

• STLlint, a checker for libraries. While all traditional checkers are restricted to the type system of a language, STLlint integrates the specification of library components and can therefore catch an entirely new classes of errors. STLlint forms the core of Doug Gregor's dissertation.
• Simplicissimus, a user-extensible framework for optimizations of ADTs at their natural abstraction level. Library designers and other advanced users can "hook up" their type, along with a meta-description, and Simplicissimus includes this type in its compile-time optimizations.
• TGC, a mostly-copying garbage collector that performs especially well on the parameterized types of generic template libraries. TGC is one of only 3 open source garbage collectors in C++.
• FCA, a set-theoretical approach for assessing and evaluating the abstraction qualities of a software libraries.