Programming languages and software engineering

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

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

Mark Marron, Darko Stefanovic , Deepak Kapur , Manuel Hermenegildo

July 2008

Barry Jay, Simon Peyton Jones

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

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

Carlos Pacheco, Shuvendu Lahiri, Thomas Ball

MSR-TR-2008-29 | July 2008

International Symposium on Software Testing and Analysis (ISSTA '08)

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

Sebastian Burckhardt, Madan Musuvathi

July 2008

Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)

Project

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

Static Analysis Symposium (SAS) | July 2008