Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Querying Encrypted Data (Tutorial) Arvind Arasu, Ken Eguro, Raghav Kaushik, Ravi Ramamurthy 29th International Conference on Data Engineering (ICDE) | April 2013 Tutorial presentation
Publication Uncertain< T >: A First-Order Type for Uncertain Data James Bornholt, Todd Mytkowicz, Kathryn S McKinley MSR-TR-2013-46 | April 2013
Publication Iterative Estimation of Location and Trajectory of Radioactive Sources With a Networked System of Detectors Budhaditya Deb IEEE Transactions on Nuclear Science | April 2013, Vol 60(2): pp. 1315-1326
Publication Ranking and Tradeoffs in Sponsored Search Auctions Ben Roberts, Ian Kash, Peter Key EC13: 14th ACM Conference on Electronic Commerce | March 2013 Extended version: http://arxiv.org/abs/1304.7642
Publication Dynamically Scalable, Fault-Tolerant Coordination on a Shared Logging Service Mahesh Balakrishnan, John Davis, Dahlia Malkhi, Vijayan Prabhakaran, Ted Wobber MSR-TR-2013-40 | March 2013
Publication Seamless Customer Identification Christopher Smowton, Jay Lorch, David Molnar, Stefan Saroiu, Alec Wolman MSR-TR-2013-31 | March 2013 Project
Publication A case for static analyzers in the cloud Mike Barnett, Mehdi Bouaziz, Manuel Fahndrich, Francesco Logozzo Bytecode 2013 | March 2013
Publication Improving bandwidth efficiency for consistent multistream storage Andromachi Chatzieleftheriou, Stergios V. Anastasiadis TOS | March 2013, Vol 9
Publication Taming The Wild Card for Mobile Payment Mastooreh Salajegheh, Bodhi Priyantha, Jie Liu MSR-TR-2013-61 | March 2013
Publication Ursa: Scalable Load Balancing and Power Management in Cloud Storage Systems Gae-Won You, Seung-Won Hwang, Navendu Jain ACM Transactions on Storage (TOS) | March 2013