Programming languages and software engineering

David Tarditi, Vivian Sewelson

October 2005

Andrew Kennedy, Claudio Russo

OOPSLA ’05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, San Diego, CA, USA | October 2005

ISBN: 1-59593-031-0

Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh

Working Conference on Verified Software: Theories, Tools, and Experiments | October 2005

Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi

MSR-TR-2005-137 | October 2005

Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)

Adam Tauman Kalai, Rocco Servedio

Journal of Computer and System Sciences | October 2005, Vol 71(3): pp. 266-290

Li-Yi Wei

MSR-TR-2005-189 | October 2005

John Field, Deepak Goyal, G. Ramalingam, Eran Yahav

October 2005

Gina Venolia, Robert DeLIne, Thomas LaToza

MSR-TR-2005-140 | October 2005

Peter M. Chen, Jason Flinn, Edmund B Nightingale

Proceedings of the 20th Symposium on Operating Systems Principles (SOSP ’05) Award paper. | October 2005

Selected as an award paper.

Li-Yi Wei

MSR-TR-2005-190 | October 2005