Jonas Braband Jensen

From PLSwiki

I am a PhD student in the PLS group at the IT University of Copenhagen working on Separation Logic. My supervisors are Lars Birkedal and Peter Sestoft.

Research

• Charge! -- A framework for higher-order separation logic in Coq
  • Jesper Bengtson, Jonas Braband Jensen, and Lars Birkedal
  • Accepted for ITP, 2012.

• Using Coq to generate and reason about x86 systems code (pdf)
  • Nick Benton, Jonas Jensen and Andrew Kennedy.
  • Accepted for LOLA, 2012.

• Fictional Separation Logic (pdf, appendix, slides).
  • Jonas Braband Jensen and Lars Birkedal.
  • In Proceedings of ESOP, 2012.

• Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (pdf)
  • Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski and Lars Birkedal.
  • In Proceedings of ITP, 2011.

• Modular Verification of Linked Lists with Views via Separation Logic (pdf).
  • Jonas Braband Jensen, Lars Birkedal, and Peter Sestoft.
  • In Journal of Object Technology, 2011.

• Modular Verification of Linked Lists with Views via Separation Logic (pdf).
  • Jonas Braband Jensen, Lars Birkedal, and Peter Sestoft.
  • In Proceedings of FTfJP, 2010.