| 2024 | SLE | The Design of a Self-Compiling C Transpiler Targeting POSIX Shell. | Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, Marc Feeley |
| 2023 | EuroPLop | Design Pattern for Reusing Immutable Methods in Object-Oriented Languages. | William Flageol, Yann-Gal Guhneuc, Mourad Badri, Stefan Monnier |
| 2019 | ICFP | Inductive types deconstructed: the calculus of united constructions. | Stefan Monnier |
| 2013 | CPP | Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. | Olivier Savary Blanger, Stefan Monnier, Brigitte Pientka |
| 2008 | ICFP | A type-preserving compiler in Haskell. | Louis-Julien Guillemette, Stefan Monnier |
| 2007 | HASKELL | A type-preserving closure conversion in haskell. | Louis-Julien Guillemette, Stefan Monnier |
| 2002 | LICS | A Syntactic Approach to Foundational Proof-Carrying Code. | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni |
| 2001 | PLDI | Principled Scavenging. | Stefan Monnier, Bratin Saha, Zhong Shao |
| 1999 | EuroPar | A Study of a Simultaneous Multithreaded Processor Implementation. | Dominik Madon, Eduardo Sanchez, Stefan Monnier |
| 1998 | ICFP | Implementing Typed Intermediate Languages. | Zhong Shao, Christopher League, Stefan Monnier |