Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Unexpected Complexity: Experiences Tuning and Extending CAN Mike Jones, Marvin Theimer, Helen Wang, Alec Wolman MSR-TR-2002-118 | December 2002
Publication Lightweight Thread Tunnelling in Network Applications Austin Donnelly Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks (IWAN’02) | December 2002 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks (IWAN'02)
Publication IrisNet: An Architecture for Compute-Intensive Wide-Area Sensor Network Services Suman Nath, Amol Deshpande, Yan Ke, Phillip B. Gibbons, Brad Karp, Srinivasan Seshan IRP-TR-02-10 | December 2002 Intel Research Pittsburgh Technical Report
Publication CMC: A pragmatic approach to model checking real code Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002 OSDI 02: Fifth Symposium on Operating Systems Design and Implementation Project
Publication FARSITE: Federated, available, and reliable storage for an incompletely trusted environment Atul Adya, Bill Bolosky, Miguel Castro, Ronnie Chaiken, Gerald Cermak, John (JD) Douceur, Jon Howell, Jay Lorch, Marvin Theimer, Roger Wattenhofer, Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI) | December 2002 Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI)
Publication Validating a Web Service Security Abstraction by Typing Andy Gordon, Riccardo Pucella MSR-TR-2002-108 | November 2002 ISBN: 1-58113-632-3 A portion of this work appears in the proceedings of the ACM Workshop on XML Security 2002, Washington DC, November 22, 2002.
Publication Detection and Analysis of Routing Loops in Packet Traces Urs Hengartner, Sue Moon, Richard Mortier, Christophe Diot Proceedings of ACM/USENIX Internet Measurement Workshop (IMW) | November 2002 ISBN: 1-58113-603-X
Publication A neural network approach to system performance analysis Robert Gruen, Takuji Kubota Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283) | November 2002
Publication Backup Path Allocation based on a Correlated Link Failure Probability Model in Overlay Networks Weidong Cui, Ion Stoica, Randy H. Katz Proceedings of the Tenth International Conference on Network Protocols (ICNP) | November 2002 Proceedings of the Tenth International Conference on Network Protocols (ICNP)
Publication Replication Strategies for Highly Available Peer-to-Peer Storage Systems Ranjita Bhagwan, Stefan Savage, Geoffrey M. Voelker | November 2002 POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages