ITU
Jesper Bengtson

Jesper Bengtson, Dr

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C10

Phone: +45 7218 5043

Information Desk: 72185000

View graph of relations

  1. Journal article
  2. Published

    Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Conference article
  4. Published

    Verifying object-oriented programs with higher-order separation logic in Coq

    Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  5. Report
  6. Published

    Kopitiam – a unified IDE for developing formally verified Java programs

    Bengtson, J. & Mehnert, H., May 2013, 15 p. (ITU Technical Report Series; No. TR-2013-167).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  7. Article in proceedings
  8. Published

    Charge! - A Framework for Higher-Order Separation Logic in Coq

    Bengtson, J., Jensen, J. B. & Birkedal, L., 2012, Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer, p. 315-331 (Lecture Notes in Computer Science, Vol. 7406).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. Published

    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 chapterArticle in proceedingsResearchpeer-review

  10. Published

    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 chapterArticle in proceedingsResearchpeer-review

  11. Published

    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 chapterArticle in proceedingsResearchpeer-review

  12. Published

    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 chapterArticle in proceedingsResearchpeer-review

ID: 1075493