Publication Compactly representing first-order structures for static analysis R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv 9th International Symposium, SAS 2002 | September 2002
Publication Location of Mobile Devices Using Networked Surfaces Frank Hoffmann, James Scott Proceedings of the Fourth International Conference on Ubiquitous Computing (UbiComp 2002) | September 2002
Publication Specifying and verifying systems with TLA+ Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002
Publication On loops, dominators, and dominance frontiers G. Ramalingam In Proceedings of the SIGPLAN ’00 Conference on Programming Language Design and Implementation | September 2002
Publication Checking Correctness Properties of Object-Oriented Programs (Lecture 3) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
Publication Checking Correctness Properties of Object-Oriented Programs (Lecture 4) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
Publication Checking Correctness Properties of Object-Oriented Programs (Lecture 2) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
Publication Checking Correctness Properties of Object-Oriented Programs (Lecture 1) Rustan Leino EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002
Publication JoCaml: a Language for Concurrent Distributed and Mobile Programming Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt Proceedings of the Fourth Summer School on Advanced Functional Programming | August 2002
