Programming languages & software engineering

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi

Programming Languages Design and Implementation | July 2012

Programming Languages Design and Implementation

Project

Juan Caballero, Gustavo Grieco , Mark Marron, Antonio Nappa

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

Rishabh Singh, Armando Solar-Lezama

24th International Conference on Computer Aided Verification (CAV 2012) | July 2012

24th International Conference on Computer Aided Verification (CAV 2012)

Hadi Esmaeilzadeh, Ting Cao, Stephen M. Blackburn, Kathryn S McKinley

Communications of the ACM (CACM), Research Highlights | July 2012, Vol 55(7)

Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Principles of Distributed Computing (PODC) | July 2012

Benque D, Bourton S, Cockerton C, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Piterman N, Taylor A, Vardi M

Computer Aided Verification (CAV) 2012. LNCS 7358, pp. 686-692 | July 2012

Computer Aided Verification (CAV) 2012. LNCS 7358, pp. 686–692

Rishabh Singh, Sumit Gulwani

24th International Conference on Computer Aided Verification (CAV 2012) | July 2012

Video Project

Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

Computer-Aided Verification (CAV) | July 2012

Computer-Aided Verification (CAV)

Aditya Nori, Alex Aiken

Computer Aided Verification | July 2012

Computer Aided Verification

Daniel Delling, Renato Werneck

MSR-TR-2012-69 | July 2012