Programming languages and software engineering

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

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

Sebastian Burckhardt, Madan Musuvathi

July 2008

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

Project

Carlos Pacheco, Shuvendu Lahiri, Thomas Ball

MSR-TR-2008-29 | July 2008

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

Mark Marron, Darko Stefanovic , Deepak Kapur , Manuel Hermenegildo

July 2008

K. Rustan M. Leino

June 2008

Project

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

PLDI’08, June 7-13, 2008, Tucson, Arizona, USA | June 2008

Project