| 2026 | ITP | Enhancing Interactive Theorem Prover Error Messages with Hints. | Maria Khakimova, Sra Juhosov, Jaro S. Reinders, Jesper Cockx |
| 2024 | APLAS | Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language. | Bohdan Liesnikov, Jesper Cockx |
| 2022 | HASKELL | Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell |
| 2022 | SLE | Optimising First-Class Pattern Matching. | Jeff Smits, Toine Hartman, Jesper Cockx |
| 2021 | GPCE | Extracting the power of dependent types. | Artjoms Sinkarovs, Jesper Cockx |
| 2017 | CPP | Lifting proof-relevant unification to higher dimensions. | Jesper Cockx, Dominique Devriese |
| 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 |
| 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 |