Programming languages & software engineering

Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin

IEEE Software, Special Issue on Software Development Tools | October 2008

Project Project Project

Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov

MSR-TR-2008-153 | October 2008

Project Project

Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga

ACM Conference on Computer and Communications Security (CCS) | October 2008

ACM Conference on Computer and Communications Security (CCS)

Vikraman Arvind, Christine T. Cheng, Nikhil Devanur

SIAM Journal on Discrete Mathematics | October 2008, Vol 22: pp. 1297-1324

Bassem Elkarablieh, Patrice Godefroid, Michael Levin

MSR-TR-2008-157 | October 2008

Andrew Begel, Nachi Nagappan

ESEM ’08: Proceedings of the Second ACM-IEEE International Symposium on Empirical Software Engineering and Measurement | October 2008

ESEM '08: Proceedings of the Second ACM-IEEE International Symposium on Empirical Software Engineering and Measurement

ISBN: 978-1-59593-971-5

Project

Madhu Gopinathan, Sriram Rajamani

ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) | October 2008

ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)

Gina Venolia

October 2008

This is a presentation that I gave at UC Irvine summarizing the research my group has done that relates to distributed development.

Kousha Etessami, Patrice Godefroid

MSR-TR-2008-159 | October 2008

Tao Qin, Tie-Yan Liu, Xu-Dong Zhang, De-Sheng Wang, Hang Li

MSR-TR-2008-156 | October 2008