Programming languages and 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

Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi

in HotNets ’08, Seventh ACM Workship on Hot Topics in Networks | October 2008

in HotNets '08, Seventh ACM Workship on Hot Topics in Networks

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