Programming languages & software engineering

Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Computer Aided Verification (CAV) | July 2013

Project

Loris D'Antoni, Margus Veanes,

25th International Conference on Computer Aided Verification (CAV’13) | July 2013

The associated TR is an extended version of the conference paper.

Earl T. Barr, Christian Bird, Mark Marron

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

Distinguished Paper Award

Sean McDirmid

MSR-TR-2013-70 | July 2013

Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani

Computer Aided Verification (CAV) | July 2013

Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy

IEEE Software | July 2013

Project

Patrice Godefroid

MSR-TR-2013-72 | July 2013

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko

Computer Aided Verification (CAV) | Published by Springer | 2013

Sumit Gulwani, Rishabh Singh

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013

Project Project

Margus Veanes

CIAA’13 | July 2013

Project