Jonas Braband Jensen

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

High Level Abstractions

Classical Logic

Digital Circuits

Top Venues

Publications

Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand
Coq: the world's best macro assembler? PPDP (2013)
Jonas Braband Jensen, Nick Benton, Andrew Kennedy
High-level separation logic for low-level code. POPL (2013)
Jesper Bengtson, Jonas Braband Jensen, Lars Birkedal
Charge! - A Framework for Higher-Order Separation Logic in Coq. ITP (2012)
Jonas Braband Jensen, Lars Birkedal
Fictional Separation Logic. ESOP (2012)
Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. ITP (2011)
Jonas Braband Jensen, Lars Birkedal, Peter Sestoft
Modular Verification of Linked Lists with Views via Separation Logic. J. Object Technol. 10 (2011)
Jonas Braband Jensen, Lars Birkedal, Peter Sestoft
Modular verification of linked lists with views via separation logic. FTfJP@ECOOP (2010)
Sune Fallgaard Nielsen, Jens Sparsø, Jonas Braband Jensen, Johan Sebastian Rosenkilde Nielsen
A Behavioral Synthesis Frontend to the Haste/TiDE Design Flow. ASYNC (2009)