Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Mining Program Workflow from Interleaved Logs Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li MSR-TR-2010-6 | January 2010
Publication A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari, MSR-TR-2010-3 | January 2010
Publication Online Maintenance of Very Large Random Samples on Flash Storage Suman Nath, Phillip B. Gibbons VLDB Journal, vol. 19, issue 1 | January 2010, Vol 19(1) Special Issue for VLDB 2008 Best Papers
Publication Mosaic: Policy Homomorphic Network Extension Li Erran Li, Michael F. Nowlan, Y. Richard Yang, Ming Zhang ACM Workshop on Large Scale Distributed Systems and Middleware | January 2010 ACM Workshop on Large Scale Distributed Systems and Middleware
Publication Fluxo: A System for Internet Service Programming by Non-expert Developers Emre Kiciman, Ben Livshits, Madan Musuvathi, Kevin C. Webb ACM Symposium on Cloud Computing | January 2010
Publication Highway Dimension, Shortest Paths, and Provably Efficient Algorithms Ittai Abraham, Amos Fiat, Andrew Goldberg, Renato Werneck Proc. ACM-SIAM Symposium on Discrete Algorithms (SODA10) | January 2010 Proc. ACM-SIAM Symposium on Discrete Algorithms (SODA10)
Publication Characterizing, Modeling, and Generating Workload Spikes for Stateful Services Peter Bodík, Armando Fox, Michael J. Franklin, Michael I. Jordan, David A. Patterson SOCC ’10: Symposium on Cloud Computing | January 2010
Publication MacroSS: Macro-SIMDization of Streaming Applications Amir Hormati, Yoonseo Choi, Mark Woh, Manjunath Kudlur, Rodric Rabbah, Trevor Mudge, Scott Mahlke Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | January 2010
Publication Survivable Virtual Network Embedding Muntasir Raihan Rahman, Issam Aib, Raouf Boutaba NETWORKING 2010 | January 2010