Programming languages & 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)

Nikolai Tillmann, Wolfram Schulte

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

Project Project

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

Ittai Abraham, Cyril Gavoille, Dahlia Malkhi

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

ACM Symposium on Parallel Algorithms and Architectures (SPAA)

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

Lev Nachmanson

MSR-TR-2006-79 | June 2006

Mukund Narasimhan, Paul Viola, Michael Shilman

June 2006

Sean McDirmid, Wilson C. Hsieh

ECOOP | June 2006

Video

Marco Pistoia, Francesco Logozzo

Object-Oriented Technology: ECOOP 2006 Workshops | June 2006