| 2023 | CCS | Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. | Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese |
| 2021 | MFCS | Abstract Congruence Criteria for Weak Bisimilarity. | Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens |
| 2019 | HASKELL | Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. | Dominique Devriese |
| 2019 | ICFP | How to do proofs: practically proving properties about effectful programs' results (functional pearl). | Koen Jacobs, Andreas Nuyts, Dominique Devriese |
| 2018 | ESOP | Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. | Lau Skorstengaard, Dominique Devriese, Lars Birkedal |
| 2018 | HASKELL | Coherent explicit dictionary application for Haskell. | Thomas Winant, Dominique Devriese |
| 2018 | LICS | Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. | Andreas Nuyts, Dominique Devriese |
| 2017 | APLAS | Efficient Functional Reactive Programming Through Incremental Behaviors. | Bob Reynders, Dominique Devriese |
| 2017 | CPP | Lifting proof-relevant unification to higher dimensions. | Jesper Cockx, Dominique Devriese |
| 2017 | OOPSLA | FRP IoT modules as a Scala DSL. | Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens |
| 2017 | PPDP | Expressive and strongly type-safe code generation. | Thomas Winant, Jesper Cockx, Dominique Devriese |
| 2016 | ICFP | Unifiers as equivalences: proof-relevant unification of dependently typed data. | Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2016 | POPL | Fully-abstract compilation by approximate back-translation. | Dominique Devriese, Marco Patrignani, Frank Piessens |
| 2015 | GPCE | Generating safe boundary APIs between typed EDSLs and their environments. | Bob Reynders, Dominique Devriese, Frank Piessens |
| 2014 | ESOP | Overlapping and Order-Independent Patterns - Definitional Equality for All. | Jesper Cockx, Frank Piessens, Dominique Devriese |
| 2014 | ICFP | Pattern matching without K. | Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2014 | OOPSLA | Multi-Tier Functional Reactive Programming for the Web. | Bob Reynders, Dominique Devriese, Frank Piessens |
| 2014 | PADL | Partial Type Signatures for Haskell. | Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers |
| 2013 | ICFP | Typed syntactic meta-programming. | Dominique Devriese, Frank Piessens |
| 2013 | PEPM | Fixing idioms: a recursion primitive for applicative DSLs. | Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens |
| 2013 | PLDI | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2012 | CCS | FlowFox: a web browser with flexible and precise information flow control. | Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens |
| 2012 | FORTE | Secure Multi-Execution through Static Program Transformation. | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
| 2011 | ICFP | On the bright side of type classes: instance arguments in Agda. | Dominique Devriese, Frank Piessens |
| 2011 | NSS | Reactive non-interference for a browser model. | Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens |
| 2011 | PADL | Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. | Dominique Devriese, Frank Piessens |
| 2010 | SP | Noninterference through Secure Multi-execution. | Dominique Devriese, Frank Piessens |