Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Securing Routing in Open Networks Using Secure Traceroute Gaurav Mathur, Venkat Padmanabhan, Daniel R. Simon MSR-TR-2004-66 | July 2004
Publication Stuck-Free Conformance Theory for CCS Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof MSR-TR-2004-69 | July 2004 Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
Publication Load Management in a Large-Scale Decentralized File System Atul Adya, Bill Bolosky, Ronnie Chaiken, John (JD) Douceur, Jon Howell, Jay Lorch MSR-TR-2004-60 | July 2004
Publication Learning To Cluster Search Results Hua-Jun Zeng, Qi-Cai He, Zheng Chen, Wei-Ying Ma, Jinwen Ma July 2004
Publication Exceptions and side-effects in atomic blocks Tim Harris Workshop on COncurrency and Synchronization in Java Programs | July 2004 Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01
Publication Abstract Communication Model for Distributed Systems Uwe Glässer, Yuri Gurevich, Margus Veanes IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472 Project Project
Publication Performance and Dependability of structured peer-to-peer overlays Miguel Castro, Manuel Costa, Ant Rowstron Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004) | June 2004 ISBN: 0-7695-2052-9
Publication Analysis of Sub-wavelength Traffic Grooming Efficiency in Optical Mesh Networks S. Datta, Sudipta Sengupta, S. Biswas, D. Saha, H. Kobayashi IEEE International Conference on Communications (ICC) 2004, Paris (France) | June 2004 ISBN: 0-7803-8533-0