Iris

By Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer. ACM-SIGACT Symposium on Principles of Programming Languages, 2015

386 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/3365119a06b86d93e2fcd1a9d105b73f52bd896b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Robbert Krebbers
2. Jacques-Henri Jourdan
3. Ralf Jung
4. Derek Dreyer
5. Lars Birkedal

In Computational Theory and Mathematics

1. Ralf Jung
2. Lars Birkedal
3. Robbert Krebbers
4. Derek Dreyer
5. Jacques-Henri Jourdan

In Computer Networks and Communications

1. Ralf Jung
2. Lars Birkedal
3. Derek Dreyer

Citations in the corpus

• RustBelt: securing the foundations of the rust programming language (2017, positive): “Iris is a language-generic framework for higher-order concurrent separation logic [Jung et al. 2016, 2017b, 2015; Krebbers et al. 2017a], which in the past year has been equipped with tactical support for conducting machine-checked proofs of programs in Coq [Krebbers et al. 2017b] and deployed in…”
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic (2018, positive): “Toward this end, we developed Iris (Jung et al., 2015), a higher-order concurrent separation logic with the express goal of simplification and consolidation.”