Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Commensal cuckoo: Secure group partitioning for large-scale services Siddhartha Sen, Michael Freedman Operating Systems Review | January 2012, Vol 46 7 pages
Publication Architecting for Diversity at the Edge: Supporting Rich Network Services Over an Unbundled Transport Fahad Dogar January 2012 PhD Thesis: Carnegie Mellon University | January 2012
Publication Asynchronous programs with prioritized task buffers Michael Emmi, Akash Lal, Shaz Qadeer MSR-TR-2012-1 | January 2012 Project
Publication Information Flow in Trust Management Systems Mo Becker Journal of Computer Security | January 2012
Publication Header Space Analysis: Static Checking for Networks Paymen Kazemanian, George Varghese, Nick McKeown Network System Design and Implementation (NSDI) | January 2012
Publication Personalized Online Education””A Crowdsourcing Challenge Daniel S. Weld, Eytan Adar, Lydia Chilton, Raphael Hoffmann, Eric Horvitz, Mitchell Koch, James Landay, Christopher H. Lin, Mausam In Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence | January 2012
Publication Giving Haskell a Promotion Brent Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, Jose Pedro Magalhaes Proceedings of TLDI’12 | January 2012
Publication STM in the Small: Trading Generality for Performance in Software Transactional Memory Aleksandar Dragojevic, Tim Harris EuroSys 2012 | January 2012
Publication On The Security Of Querying Encrypted Data Arvind Arasu, Raghav Kaushik, Ravi Ramamurthy January 2012
Publication Distortion Impact on Low-Dimensional Manifold Recovery of High-Dimensional Data Alaa Abd El Hakeem, Motaz El-Saban Taibah University International Conference on Computing and Information Technology | January 2012