Jesper Bengtson

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 10

Top Topics

Predicate Logic

High Level Abstractions

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
A Sound and Complete Projection for Global Types. ITP (2023)
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. Log. Methods Comput. Sci. 18 (2) (2022)
Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, Jesper Bengtson
Machine-checked semantic session typing. CPP (2021)
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Actris: session-type based reasoning in separation logic. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. CoRR (2020)
Marco Paviotti, Jesper Bengtson
Formally verifying exceptions for low-level code with separation logic. J. Log. Algebraic Methods Program. 94 (2018)
Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
Coqoon - An IDE for interactive proof development in Coq. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
Coqoon - An IDE for Interactive Proof Development in Coq. TACAS (2016)
Jesper Bengtson, Joachim Parrow, Tjark Weber
Psi-Calculi in Isabelle. J. Autom. Reason. 56 (1) (2016)
Gregory Malecha, Jesper Bengtson
Extensible and Efficient Automation Through Reflective Tactics. ESOP (2016)
Jesper Bengtson
Session Types Meet Separation Logic. LFMTP (2014)
Jesper Bengtson, Jonas Braband Jensen, Lars Birkedal
Charge! - A Framework for Higher-Order Separation Logic in Coq. ITP (2012)
Jesper Bengtson
CCS in nominal logic. Arch. Formal Proofs 2012 (2012)
Jesper Bengtson
Psi-calculi in Isabelle. Arch. Formal Proofs 2012 (2012)
Jesper Bengtson
The pi-calculus in nominal logic. Arch. Formal Proofs 2012 (2012)
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor
Psi-calculi: a framework for mobile processes with nominal data and logic Log. Methods Comput. Sci. 7 (1) (2011)
Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. ITP (2011)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor
Weak Equivalences in Psi-Calculi. LICS (2010)
Jesper Bengtson, Joachim Parrow
Psi-calculi in Isabelle. TPHOLs (2009)
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor
Psi-calculi: Mobile Processes, Nominal Data, and Logic. LICS (2009)
Jesper Bengtson, Joachim Parrow
Formalising the pi-calculus using nominal logic Log. Methods Comput. Sci. 5 (2) (2009)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement Types for Secure Implementations. CSF (2008)
Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson
Extended pi-Calculi. ICALP (2) (2008)
Jesper Bengtson, Joachim Parrow
-Calculus Using Nominal Logic. FoSSaCS (2007)
Jesper Bengtson, Joachim Parrow
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Electron. Notes Theor. Comput. Sci. 105 (2004)