A Marriage of Rely/Guarantee and Separation Logic
By Viktor Vafeiadis, Matthew J. Parkinson. International Conference on Concurrency Theory, 2007
357 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications
View Paper: https://www.semanticscholar.org/paper/0d8982837268b6cbf3eeca78335520228e770022
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
- Ralf Jung
- Derek Dreyer
- Philippa Gardner
- Sergio Maffeis
- Wolfram Schulte
- Lars Birkedal
- Stephan Tobies
- David Swasey
In Computational Theory and Mathematics
- Ralf Jung
- Philippa Gardner
- Sergio Maffeis
- Wolfram Schulte
- Lars Birkedal
- David Swasey
- Gareth Smith
- Aaron Turon
In Computer Networks and Communications
- Ralf Jung
- Lars Birkedal
- Stephan Tobies
- David Swasey
- Aaron Turon
- Filip Sieczkowski
- Derek Dreyer
- Kasper Svendsen
Citations in the corpus
- VCC: A Practical System for Verifying Concurrent C (2009, background): “Recently, Vafeiadis and Parkinson [23] have worked on combining the ideas of concurrent separation logic with rely/guarantee reasoning.”
- Towards a program logic for JavaScript (2012, background): “separation logic with sharing [9, 20, 31], but they all seem to take a different approach to our t∗ connective.”
- Iris (2015, background): “This goal has sparked a long line of work, especially in recent years, during which a synthesis of rely-guarantee reasoning [21] and separation logic [31, 28] has led to a series of increasingly advanced program logics for concurrency: RGSep [37], SAGL [13], LRG [12], CAP [10], HLRG [15], CaReSL [34”