Programming languages & software engineering

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

T. Lev-Ami, Roman Manevich, Mooly Sagiv, G. Ramalingam, Josh Berdine

Static Analysis Symposium (SAS) | July 2008

Jim Larus

Proceedings of the 2008 International Symposium on Software Testing and Analysis | July 2008

Barry Jay, Simon Peyton Jones

Mathematics of Program Construction (MPC’08) | July 2008