Jonas Braband Jensen

High-level separation logic for low-level code

Jonas Braband Jensen, Nick Benton, Andrew Kennedy · 2013 · 56 citations

Engineering, Machine Code, Computer Architecture +19

Coq

Andrew Kennedy, Nick Benton, Jonas Braband Jensen et al. · 2013 · 43 citations

High-level Programming Language, Programming Language Theory, Engineering +13

Charge! A framework for higher-order separation logic in Coq

Jesper Bengtson, Jonas Braband Jensen, Lars Birkedal · IT University Of Copenhagen (IT University of Copenhagen) · 2012 · 29 citations

A Behavioral Synthesis Frontend to the Haste/TiDE Design Flow

Jens Sparsø, Jonas Braband Jensen, Johan Rosenkilde · 2009 · 26 citations

Engineering, Electronic Design Automation, Computer Architecture +23

High-level separation logic for low-level code

Jonas Braband Jensen, Nick Benton, Andrew Kennedy · ACM SIGPLAN Notices · 2013 · 10 citations

Engineering, Verification, Separation Logic +17