| 2025 | TACAS | Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM. | Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard |
| 2020 | APLAS | Stack-Driven Program Generation of WebAssembly. | rpd Pernyi, Jan Midtgaard |
| 2018 | PEPM | Developments in property-based testing (invited talk). | Jan Midtgaard |
| 2018 | SAS | Process-Local Static Analysis of Synchronous Processes. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2016 | PPDP | Iterated process analysis over lattice-valued regular expressions. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2016 | SAS | A Parametric Abstract Domain for Lattice-Valued Regular Expressions. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2015 | ICST | QuickChecking Static Analysis Properties. | Jan Midtgaard, Anders Mller |
| 2013 | PLDI | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2013 | PPDP | Engineering definitional interpreters. | Jan Midtgaard, Norman Ramsey, Bradford Larsen |
| 2012 | MPC | Calculating Graph Algorithms for Dominance and Shortest Path. | Ilya Sergey, Jan Midtgaard, Dave Clarke |
| 2012 | SAS | A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. | Jan Midtgaard, Michael D. Adams, Matthew Might |
| 2011 | OOPSLA | Flow-sensitive type recovery in linear-log time. | Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |
| 2009 | ICFP | Control-flow analysis of function calls and returns by abstract interpretation. | Jan Midtgaard, Thomas P. Jensen |
| 2008 | SAS | A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. | Jan Midtgaard, Thomas P. Jensen |
| 2003 | PPDP | A functional correspondence between evaluators and abstract machines. | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |