Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Secure routing for structured peer-to-peer overlay networks Miguel Castro, Peter Druschel, Ayalvadi Ganesh, Ant Rowstron, Dan S Wallach December 2002
Publication Unexpected Complexity: Experiences Tuning and Extending CAN Mike Jones, Marvin Theimer, Helen Wang, Alec Wolman MSR-TR-2002-118 | December 2002
Publication Rate-Distortion Optimized Streaming from the Edge of the Network Jacob Chakareski, Philip A. Chou, Bernd Girod Proc. Workshop on Multimedia Signal Processing | 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 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 Security of Internet Location Management Tuomas Aura, Michael Roe, Jari Arkko Proc. 18th Annual Computer Security Applications Conference | December 2002
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 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 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