Jesper Bengtson

According to our database, Jesper Bengtson authored at least 24 papers between 2004 and 2023.

Collaborative distances:

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

2023

A Sound and Complete Projection for Global Types.

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers

Log. Methods Comput. Sci., 2022

2021

Machine-checked semantic session typing.

Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, Jesper Bengtson

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Actris: session-type based reasoning in separation logic.

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers

Proc. ACM Program. Lang., 2020

2018

Coqoon - An IDE for interactive proof development in Coq.

Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink

Int. J. Softw. Tools Technol. Transf., 2018

Formally verifying exceptions for low-level code with separation logic.

Marco Paviotti, Jesper Bengtson

J. Log. Algebraic Methods Program., 2018

2016

Psi-Calculi in Isabelle.

Jesper Bengtson, Joachim Parrow, Tjark Weber

J. Autom. Reason., 2016

Extensible and Efficient Automation Through Reflective Tactics.

Gregory Malecha, Jesper Bengtson

Proceedings of the Programming Languages and Systems, 2016

2014

Session Types Meet Separation Logic.

Jesper Bengtson

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2012

CCS in nominal logic.

Jesper Bengtson

Arch. Formal Proofs, 2012

The pi-calculus in nominal logic.

Jesper Bengtson

Arch. Formal Proofs, 2012

Psi-calculi in Isabelle.

Jesper Bengtson

Arch. Formal Proofs, 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

2011

Refinement types for secure implementations.

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2011

Psi-calculi: a framework for mobile processes with nominal data and logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Log. Methods Comput. Sci., 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

Weak Equivalences in Psi-Calculi.

Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Formalising the pi-calculus using nominal logic

Jesper Bengtson, Joachim Parrow

Log. Methods Comput. Sci., 2009

Psi-calculi in Isabelle.

Jesper Bengtson, Joachim Parrow

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Psi-calculi: Mobile Processes, Nominal Data, and Logic.

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Extended pi-Calculi.

Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle.

Jesper Bengtson, Joachim Parrow

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Formalising the <i>pi</i>-Calculus Using Nominal Logic.

Jesper Bengtson, Joachim Parrow

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2004

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.

Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004