No photo of Jesper Bengtson

Jesper Bengtson

Dr

20092023

Research activity 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
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 5 Article in proceedings
  • 2 Conference article
  • 1 Report
  • 1 Journal article

  • 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–198

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • 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. 6

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 Apr 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 316-331 15 p. (Lecture Notes in Computer Science, Vol. 9636).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Extensible and Efficient Automation Through Reflective Tactics

    Malecha, G. & Bengtson, J., 22 Mar 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Springer, p. 532-559 28 p. (Lecture Notes in Computer Science, Vol. 9632).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File
View all 9 research outputs