Programming languages & software engineering

A. J. Ganesh, A.-M. Kermarrec, L. Massoulié

Proc. Tenth ACM SIGOPS European Workshop | January 2002

Proc. Tenth ACM SIGOPS European Workshop

Uwe Glässer, Yuri Gurevich, Margus Veanes

HICSS 2002 | January 2002

Project

Li-Yi Wei

January 2002

Harry Chesley, Sean Kelly, Greg Kimberly, Tim Regan

MSR-TR-2002-03 | January 2002

Uwe Glässer, Margus Veanes

Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002

Project

Erik Ruf

Static Analysis Symposium (SAS ’02) | January 2002

Static Analysis Symposium (SAS '02)

Simon Peyton Jones, Mark Shields

January 2002

Microsoft Research

Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran

Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design | January 2002

Glenn Ammons, Rastislav Bodik, Jim Larus

Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2002

Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Youssef Hamadi

Int. J. on Artif. Intelligence Tools (IJAIT), 13th International Conference on Tools with Artificial Intelligence | January 2002