Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
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
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
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 Computing rate-distortion optimized policies for hybrid receiver/sender driven streaming of multimedia Jacob Chakareski, Philip A. Chou, Bernd Girod Proc. Asilomar Conf. Signals, Systems, and Computers | November 2002 Proc. Asilomar Conf. Signals, Systems, and Computers
Publication Passive Network Tomography Using Bayesian Inference Venkat Padmanabhan, L. Qiu, Helen Wang Proceedings of ACM SIGCOMM Internet Measurement Workshop | November 2002
Publication A neural network approach to system performance analysis Robert Gruen, Takuji Kubota Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283) | November 2002