Jesper Bengtson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. | Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2023 | ITP | A Sound and Complete Projection for Global Types. | Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2021 | CPP | Machine-checked semantic session typing. | Jonas Kastberg Hinrichsen, Danil Louwrink, Robbert Krebbers, Jesper Bengtson |
| 2016 | ESOP | Extensible and Efficient Automation Through Reflective Tactics. | Gregory Malecha, Jesper Bengtson |
| 2016 | TACAS | Coqoon - An IDE for Interactive Proof Development in Coq. | Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink |
| 2012 | ITP | Charge! - A Framework for Higher-Order Separation Logic in Coq. | Jesper Bengtson, Jonas Braband Jensen, Lars Birkedal |
| 2011 | ITP | Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. | Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal |
| 2010 | LICS | Weak Equivalences in Psi-Calculi. | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Bjrn Victor |
| 2009 | LICS | Psi-calculi: Mobile Processes, Nominal Data, and Logic. | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Bjrn Victor |
| 2008 | ICALP | Extended pi-Calculi. | Magnus Johansson, Joachim Parrow, Bjrn Victor, Jesper Bengtson |
| 2007 | FOSSACS | Formalising the | Jesper Bengtson, Joachim Parrow |