Jonas Buhrkal Jensen: research

I graduated in 2013 as a PhD student at the IT University of Copenhagen, supervised by Lars Birkedal and Peter Sestoft. I changed my middle name from Braband to Buhrkal in 2012.

Selected publications

• Enabling Concise and Modular Specifications in Separation Logic [pdf]
  Jonas B. Jensen
  PhD thesis, 2014
• Techniques for model construction in separation logic [pdf]
  Jonas B. Jensen
  PhD thesis chapter, 2014
• High-Level Separation Logic for Low-Level Code [pdf, code]
  Jonas B. Jensen, Nick Benton, and Andrew Kennedy
  Principles of Programming Languages (POPL), 2013
• Fictional Separation Logic [pdf, appendix, motivation slides, technical slides]
  Jonas Braband Jensen and Lars Birkedal
  European Symposium on Programming (ESOP), 2012
• Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq [pdf]
  Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, and Lars Birkedal.
  Interactive Theorem Proving (ITP), 2011
• Modular Verification of Linked Lists with Views via Separation Logic [pdf]
  Jonas Braband Jensen, Lars Birkedal, and Peter Sestoft
  Journal of Object Technology (JOT), 2011