Jonas Braband Jensen

According to our database, Jonas Braband Jensen authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Coq: the world's best macro assembler?

Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

High-level separation logic for low-level code.

Jonas Braband Jensen, Nick Benton, Andrew Kennedy

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Charge! - A Framework for Higher-Order Separation Logic in Coq.

Jesper Bengtson, Jonas Braband Jensen, Lars Birkedal

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Fictional Separation Logic.

Jonas Braband Jensen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2012

2011

Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq.

Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Modular verification of linked lists with views via separation logic.

Jonas Braband Jensen, Lars Birkedal, Peter Sestoft

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

A Behavioral Synthesis Frontend to the Haste/TiDE Design Flow.

Sune Fallgaard Nielsen, Jens Sparsø, Jonas Braband Jensen, Johan Sebastian Rosenkilde Nielsen

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009