论文与出版物 An Overview of the BlueGene/L Supercomputer The BlueGene-L Team, Karin Strauss SC 2002 (Supercomputing) | November 2002 Test of Time Award “Test of Time” award at the 2020 Supercomputing Conference
论文与出版物 lcc.NET: Targeting the .NET Common Intermediate Language from Standard C David R. Hanson MSR-TR-2002-112 | November 2002 Note: Revised April 2003
论文与出版物 Automating Type Soundness Proofs via Decision Procedures and Guided Reductions Don Syme, Andy Gordon 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning | October 2002 ISBN: 9783540000105
论文与出版物 Pairwise Testing Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | October 2002
论文与出版物 Template meta-programming for Haskell Tim Sheard, Simon Peyton Jones Proceedings of the 2002 Haskell Workshop, Pittsburgh | October 2002
论文与出版物 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
论文与出版物 Specifying and verifying systems with TLA+ Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002
论文与出版物 On loops, dominators, and dominance frontiers G. Ramalingam In Proceedings of the SIGPLAN ’00 Conference on Programming Language Design and Implementation | September 2002
论文与出版物 Location of Mobile Devices Using Networked Surfaces Frank Hoffmann, James Scott Proceedings of the Fourth International Conference on Ubiquitous Computing (UbiComp 2002) | September 2002