Dagstuhl Seminar Proceedings, Volume 9361,

• Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, and Shaz Quadeer 09361 Abstracts Collection – Design and Validation of Concurrent Systems 10.4230/DagSemProc.09361.1
• Serdar Tasiran, Ali Sezgin, and Shaz Quadeer Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning 10.4230/DagSemProc.09361.2