Research output per year
Research output per year
Personal profile
Keywords
- Programming languages
- Logic
- Verification
Fingerprint
Dive into the research topics where Jesper Bengtson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
A Sound and Complete Projection for Global Types.
Tirore, D. L., Bengtson, J. & Carbone, M., 2025, In: J. Autom. Reason.. 69, 2, p. 14 1 p., 2.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.
Tirore, D. L., Bengtson, J. & Carbone, M., 25 Jun 2025, ECOP. p. 31:1-31:30 30 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
Machine-Checked Semantic Session Typing
Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 178–198Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Actris: session-type based reasoning in separation logic
Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, Proceedings of the ACM on Programming Languages. Wadler, P. (ed.). Association for Computing Machinery, Vol. 4. p. 6:1 30 p. 6Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile
Projects
- 3 Finished
-
ToMeSo: Tools and Methods for Scalable Software Verifications
Sestoft, P. (CoI), Birkedal, L. (PI), Mehnert, H. (CoI), Jensen, J. B. (CoI), Bengtson, J. (CoI), Thamsborg, J. J. (CoI), Hartmann Jensen, M. (CoI), Sieczkowski, F. (CoI), Mehnert, H. (CoI) & Svendsen, K. (CoI)
Independent Research Fund Denmark
01/03/2009 → 30/06/2013
Project: Research
-
A general-purpose framework for software verification
Bengtson, J. (PI), Birkedal, L. (CoI), Sestoft, P. (CoI) & Faithfull, A. (CoI)
Independent Research Fund Denmark
01/07/2013 → 30/04/2017
Project: Research
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
Independent Research Fund Denmark
01/09/2021 → 30/10/2025
Project: Research
Press/Media
-
'Helt naturligt' eller 'woke'? Stort skydespil præsenterer omdiskuteret soldat
18/08/2021
1 Media contribution
Press/Media: Press / Media
-
Datasets
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Creator), Bengtson, J. (Creator) & Carbone, M. (Creator), ZENODO, 27 Apr 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
Dataset: Software