Programming languages & software engineering

Rustan Leino

International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008

Simon Peyton Jones

POPL’09 | August 2008

Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani

MSR-TR-2008-131 | August 2008

Andrew Begel, Nachi Nagappan

International Conference on Global Software Engineering | August 2008

Project

Rustan Leino

Summer School on Logic and Theorem-Proving in Programming Languages, Eugene, OR | July 2008

Rustan Leino

Summer School on Logic and Theorem-Proving in Programming Languages, Eugene, OR | July 2008

Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O'Hearn

Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA | July 2008

ISBN: 978-3-540-70543-7

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv

CAV ’08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008

Vipul Goyal, Abhishek Jain, Omkant Pandey, Amit Sahai

35th International Colloquium, ICALP 2008 | July 2008

Sebastian Burckhardt, Madan Musuvathi

Computer-Aided Verification (CAV) | July 2008

The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.

Project