Department of
Software Science

Publications

We list some representative publications from our group in this area:

• Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer: Iris From The Ground Up: A Modular Foundation for Higher-Order Concurrent Separation Logic. In JFP, Journal of Functional Programming (2018).
• Ike Mulder, Robbert Krebbers, Herman Geuvers: Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris. In PLDI, ACM SIGPLAN Conference on Programming Language Design and Implementation (2022).