1. 2018
  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

    Research output: Contribution to journalArticleScientificpeer-review

  3. RustBelt: securing the foundations of the rust programming language

    Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D., Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Iris from the ground up: A modular foundation for higher-order concurrent separation logic

    Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. e20

    Research output: Contribution to journalArticleScientificpeer-review

  5. MoSeL: a general, extensible modal framework for interactive proofs in separation logic

    Krebbers, R., Jourdan, J-H., Jung, R., Tassarotti, J., Kaiser, J-O., Timany, A., Charguéraud, A. & Dreyer, D., 2018, In : PACMPL. 2, ICFP, p. 77:1-77:30

    Research output: Contribution to journalArticleScientificpeer-review

  6. Mtac2: typed tactics for backward reasoning in Coq

    Kaiser, J-O., Ziliani, B., Krebbers, R., Régis-Gianas, Y. & Dreyer, D., 2018, In : PACMPL. 2, ICFP, p. 78:1-78:31

    Research output: Contribution to journalArticleScientificpeer-review

  7. ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

    Frumin, D., Krebbers, R. & Birkedal, L., 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. p. 442-451 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. 2017
  9. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L., 2017, POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York: Association for Computing Machinery (ACM), p. 205-217 13 p. (ACM SIGPLAN Notices ; vol. 52, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. The Essence of Higher-Order Concurrent Separation Logic

    Krebbers, R., Jung, R., Bizjak, A., Jourdan, J-H., Dreyer, D. & Birkedal, L., 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017 - Proceedings. Yang, H. (ed.). Berlin: Springer Verlag, p. 696-723 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. 2016
  12. A Formal C Memory Model for Separation Logic

    Krebbers, R., 2016, In : Journal of Automated Reasoning. 57, 4, p. 319-387 69 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. Higher-order ghost state

    Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D., 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. p. 256-269 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 Next

ID: 4511628