Programming languages and software engineering

Francesco Logozzo

7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP’05) | July 2006

7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP'05)

Sumit Gulwani, Asish Tiwari

MSR-TR-2006-99 | July 2006

Ellen Riloff, Siddharth Patwardhan, Janyce Wiebe

Proceedings of EMNLP-06, the Conference on Empirical Methods in Natural Language Processing | July 2006

Proceedings of EMNLP-06, the Conference on Empirical Methods in Natural Language Processing

Bin Yu, Cha Zhang, Yong Rui , Klara Nahrstedt

July 2006

Nikolai Tillmann, Wolfram Schulte

IEEE Software | July 2006, Vol 23(4): pp. 38-47

Project Project

Mikhail Zhizhin, Alexey Poyda, Dmitry Mishin, Dmitry Medvedev, Eric Kihn, Vassily Lyutsarev

MSR-TR-2006-72 | July 2006

Ittai Abraham, Cyril Gavoille, Dahlia Malkhi

ACM Symposium on Parallel Algorithms and Architectures (SPAA) | July 2006

ACM Symposium on Parallel Algorithms and Architectures (SPAA)

Jin Huang, Xiaohan Shi, Xinguo Liu, Kun Zhou, Li-Yi Wei, Shang-Hua Teng, Hujun Bao, Baining Guo, Heung-Yeung Shum

July 2006

Yael Tauman Kalai

June 2006

PhD Thesis: The Department of Electrical Engineering and Computer Science. | June 2006

Tim Harris, Simon Peyton Jones

First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT’06) | June 2006