Dagstuhl Seminar Proceedings, Volume 9301,

• Mooly Sagiv, Arnd Poetzsch-Heffter, and Peter O'Hearn 09301 Abstracts Collection – Typing, Analysis, and Verification of Heap-Manipulating Programs 10.4230/DagSemProc.09301.1
• Mooly Sagiv, Arnd Poetzsch-Heffter, and Peter O'Hearn 09301 Executive Summary – Typing, Analysis, and Verification of Heap-Manipulating Programs 10.4230/DagSemProc.09301.2
• David Clarke, Tobias Wrigstad, Johan Ostlund, and Einar Broch Johnsen Minimal Ownership for Active Objects 10.4230/DagSemProc.09301.3