| 2011 | ICFP | An equivalence-preserving CPS translation via multi-language semantics. | Amal Ahmed, Matthias Blume |
| 2009 | MODELS | Language support for feature-oriented product line engineering. | Wonseok Chae, Matthias Blume |
| 2008 | APLAS | Exception Handlers as Extensible Cases. | Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2008 | ICFP | Typed closure conversion preserves observational equivalence. | Amal Ahmed, Matthias Blume |
| 2008 | POPL | Imperative self-adjusting computation. | Umut A. Acar, Amal Ahmed, Matthias Blume |
| 2008 | SPLC | Building a Family of Compilers. | Wonseok Chae, Matthias Blume |
| 2007 | ESOP | A Consistent Semantics of Self-adjusting Computation. | Umut A. Acar, Matthias Blume, Jacob Donham |
| 2007 | ESOP | Principal Type Schemes for Modular Programs. | Derek Dreyer, Matthias Blume |
| 2006 | FLOPS | Contracts as Pairs of Projections. | Robert Bruce Findler, Matthias Blume |
| 2006 | ICFP | Extensible programming with first-class cases. | Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2006 | PLDI | An experimental analysis of self-adjusting computation. | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan |
| 2005 | CoNLL | New Experiments in Distributional Representations of Synonymy. | Dayne Freitag, Matthias Blume, John Byrnes, Edmond Chow, Sadik Kapadia, Richard Rohwer, Zhiqiang Wang |
| 2004 | ICFP | A sound (and complete) model of contracts. | Matthias Blume, David A. McAllester |
| 2003 | PLDI | Taming the IXP network processor. | Lal George, Matthias Blume |
| 1997 | ICFP | Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. | Matthias Blume, Andrew W. Appel |