!!Research output per year
!!Research output per year
Personlig profil
Emneord
- Programming languages
- Logic
- Verification
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Jesper Bengtson er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
A Sound and Complete Projection for Global Types.
Tirore, D. L., Bengtson, J. & Carbone, M., 2025, I: Journal of Automated Reasoning. 69, 2, s. 14 1 s., 2.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.
Tirore, D. L., Bengtson, J. & Carbone, M., 25 jun. 2025, ECOP. s. 31:1-31:30 30 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
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, s. 178–198Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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. (red.). Association for Computing Machinery, Bind 4. s. 6:1 30 s. 6Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
Projekter
- 3 Afsluttet
-
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)
01/03/2009 → 30/06/2013
Projekter: Projekt › Forskning
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 30/10/2025
Projekter: Projekt › Forskning
-
A general-purpose framework for software verification
Bengtson, J. (PI), Birkedal, L. (CoI), Sestoft, P. (CoI) & Faithfull, A. (CoI)
01/07/2013 → 30/04/2017
Projekter: Projekt › Forskning
Presse/medier
-
'Helt naturligt' eller 'woke'? Stort skydespil præsenterer omdiskuteret soldat
18/08/2021
1 Mediebidrag
Presse/medie
-
Forskningsdatasæt
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Ophavsmand), Bengtson, J. (Ophavsmand) & Carbone, M. (Ophavsmand), ZENODO, 27 apr. 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
Datasæt: Software
Aktiviteter
- 2 Vært for en akademisk besøgende
-
Jonas Kastberg Hinrichsen
Bengtson, J. (Vært)
1 feb. 2022 → 31 mar. 2022Aktivitet: Vært for en besøgende - typer › Vært for en akademisk besøgende
-
Sean Kristian Remond Harbo
Bengtson, J. (Vært)
31 jan. 2025 → 1 jul. 2025Aktivitet: Vært for en besøgende - typer › Vært for en akademisk besøgende