1. • Generic Programming (C++, concepts, property-based, staged...)
   

2. • Metaprogramming
   

3. • Programming Languages
   

4. • Software Libraries
   

5. • Algebraic Specification
   

6. • Automatic Composition of Software

1. • Program committees: WGP 2009, WGP 2010 (co-organizer)
   

The complete list of publications is available at OSL publications page.

Marcin Zalewski and Sibylle Schupp. A Semantic Definition of Separate Type Checking in C++ with Concepts. Journal of Object Technology, 8(5):105--132, 2009.

Note: Extended version available in Zalewski's PhD thesis.

Daniel Lincke, Patrik Jansson, Marcin Zalewski, and Cezar Ionescu. Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. In IFIP TC 2 Working Conference on Domain-Specific Languages, pages 236--261, July 2009.

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, and Andreas Priesnitz. A Comparison of C++ Concepts and Haskell Type Classes. In Proc. ACM SIGPLAN Workshop on Generic Programming, pages 48--37, 2008. ACM.

Marcin Zalewski. Generic Programming with Concepts. PhD Thesis, Chalmers University, November 2008.

PDF