Publication First class modules for Haskell Mark Shields, Simon Peyton Jones 9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon | January 2002
Publication Improving the Precision of Equality-Based Dataflow Analyses Erik Ruf Static Analysis Symposium (SAS ’02) | January 2002 Static Analysis Symposium (SAS '02)
Publication Raven: Extending HTML for Peer-to-peer Synchronous Applications Harry Chesley, Sean Kelly, Greg Kimberly, Tim Regan MSR-TR-2002-03 | January 2002
Publication Fixed Point Logics Anuj Dawar, Yuri Gurevich The Bulletin of Symbolic Logic | January 2002
Publication Promising Directions in Hardware Design Verification Shaz Qadeer, Serdar Tasiran Proceedings of the 3rd IEEE International Symposium on Quality Electronic Design | January 2002
Publication Generating Abstract Explanations of Spurious Counterexamples in C Programs Thomas Ball, Sriram Rajamani MSR-TR-2002-09 | January 2002
Publication One-arm exponent for critical 2D percolation Greg Lawler, Oded Schramm, Wendelin Werner Electron. J. Probab. | January 2002, Vol 7: pp. no. 2, 13 pp. (electronic)
Publication Partially labeled classification with Markov random walks Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | January 2002
Publication High-level Executable Specification of the Universal Plug and Play Architecture Uwe Glässer, Yuri Gurevich, Margus Veanes HICSS 2002 | January 2002 Project
Publication Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines Uwe Glässer, Margus Veanes Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002 Project
