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: Scientific - peer-reviewArticle

  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: Scientific - peer-reviewArticle

  4. 2017
  5. 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: Scientific - peer-reviewConference contribution

  6. 2016
  7. 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: Scientific - peer-reviewArticle

  8. 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: Scientific - peer-reviewConference contribution

  9. Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

    Krebbers, R., Parlant, L. & Silva, A. 2016 Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. p. 309-324 16 p.

    Research output: Scientific - peer-reviewConference contribution

ID: 4511628