Programming languages and software engineering

Byron Cook, Andreas Podelski, Andrey Rybalchenko

MSR-TR-2008-160 | October 2008

Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov

MSR-TR-2008-153 | October 2008

Project Project

Sanjeev Mehrotra, Wei-ge Chen, Kazuhito Koishida, Naveen Thumpudi

Proceedings Workshop on Multimedia Signal Processing | 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

Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam

International Conference on Global Software Engineering (IGCSE) | October 2008

International Conference on Global Software Engineering (IGCSE)

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)

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

Pietro Ferrara, Francesco Logozzo, Manuel Fahndrich

Proceedings of the 23rd ACM Conference on Object-Oriented Programming (OOPSLA’08) | October 2008

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)

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.