Programming languages & software engineering

Byron Cook, Andreas Podelski, Andrey Rybalchenko

MSR-TR-2008-160 | October 2008

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

Proceedings Workshop on Multimedia Signal Processing | October 2008

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

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)