Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Polymorphic On-Chip Networks Martha Mercaldi Kim, John Davis, Mark Oskin, Todd Austin International Symposium on Computer Architecture (ISCA-35) | June 2008 International Symposium on Computer Architecture (ISCA-35)
Publication Experiences with Formal Specification of Fault-tolerant File Systems Roxana Geambasu, Andrew Birrell, John MacCormick Proceedings of the 38th Annual International Conference on Dependable Systems and Networks | June 2008 Proceedings of the 38th Annual International Conference on Dependable Systems and Networks
Publication Control of communication networks: welfare maximization and multipath transfers Peter Key, Laurent Massoulié Philosophical Transactions of the Royal Society A | June 2008, Vol 366: pp. 1955-1971 Royal Society Discussion Meeting journal link http://publishing.royalsociety.org/index.cfm?page=1535
Publication Design Tradeoffs for SSD Performance Nitin Agrawal, Vijayan Prabhakaran, Ted Wobber, John Davis, Mark Manasse, Rina Panigrahy Proceedings of the 2008 USENIX Technical Conference (USENIX’08) | June 2008
Publication Understanding Hybrid CDN-P2P: Why Limelight Needs its Own Red Swoosh Cheng Huang, Angela Wang, Jin Li, Keith W. Ross NOSSDAV ’08 Proceedings of the 18th International Workshop on Network and Operating Systems Support for Digital Audio and Video, Braunschweig, Germany | May 2008 ISBN: 978-1-60558-157-6
Publication STAR: An Efficient Coding Scheme for Correcting Triple Storage Node Failures Cheng Huang, Lihao Xu IEEE Transactions on Computers | May 2008
Publication Getting Operations Logic Right: Types, Service-Orientation, and Static Analysis Karthik Bhargavan, Andy Gordon Workshop on The Rise and Rise of the Declarative Datacentre | May 2008
Publication ε-Optimization Schemes and L-bit Precision: Alternative perspectives for Solving Combinatorial Optimization Problems James B. Orlin, Andreas S. Schulz, Sudipta Sengupta Discrete Optimization | May 2008, pp. 550-561 Special issue in memory of George B. Dantzig
Publication PRISM: PRecision-Integrated Scalable Monitoring Navendu Jain, Dmitry Kit, Prince Mahajan, Praveen Yalagandula, Mike Dahlin, Yin Zhang TR06-22 | May 2008
Publication Evidence-Based Access Control for Ubiquitous Web Services Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida 2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008