Paper at POPL 2019

The paper entitled “Quantitative Separation Logic – A Logic for Reasoning about Probabilistic Pointer Programs” by Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll has been accepted for presentation at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). The paper presents a logic for reasoning about probabilistic programs with heaps, which conservatively extends Reynold’s/O’Hearn’s separation logic and the pre-expectation calculus of McIver and Morgan.