If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where R.J. Krebbers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 9 Article
  • 6 Conference contribution
  • 1 Working paper

Actris: Session-type based reasoning in separation logic

Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
  • 4 Citations (Scopus)
    25 Downloads (Pure)
    Open Access
    File
  • 14 Downloads (Pure)

    Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris

    Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, ICFP, p. 114:1 - 114:29 29 p., 114.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 1 Downloads (Pure)

    Iron: Managing obligations in higher-order concurrent separation logic

    Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 60 Downloads (Pure)

    Semi-automated Reasoning About Non-determinism in C Expressions

    Frumin, D., Gondelman, L. & Krebbers, R., 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Cham: Springer, p. 60-87 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
  • 45 Downloads (Pure)