Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
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 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
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
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