Programming languages & software engineering

Nikita Borisov, David Brumley, Helen Wang, Chuanxiong Guo

MSR-TR-2005-133 | February 2005

Shuo Chen, John Dunagan, Yi-Min Wang, Chad Verbowski

MSR-TR-2005-15 | February 2005

Yi-Min Wang, Doug Beck

MSR-TR-2005-21 | February 2005

Milan Vojnovic, Ayalvadi Ganesh

MSR-TR-2005-13 | February 2005

L. Massoulié, M. Vojnović

MSR-TR-2004-112 | February 2005

ACM Sigmetrics 05

Luca Cardelli, Giorgio Ghelli, Andy Gordon

Information and Computation | January 2005, Vol 196(2): pp. 127-155

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004) | January 2005

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005

Project

Moshe Babaioff, William E. Walsh

Decision Support Systems (DSS) | January 2005, Vol 39: pp. 123-149

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Theoretical Computer Science | January 2005, Vol 343(3): pp. 370-412

Project