Jonas Braband Jensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | POPL | High-level separation logic for low-level code. | Jonas Braband Jensen, Nick Benton, Andrew Kennedy |
| 2013 | PPDP | Coq: the world's best macro assembler? | Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-variste Dagand |
| 2012 | ESOP | Fictional Separation Logic. | Jonas Braband Jensen, Lars Birkedal |
| 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 | ECOOP | Modular verification of linked lists with views via separation logic. | Jonas Braband Jensen, Lars Birkedal, Peter Sestoft |