Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Interdomain routing and games Hagay Levin, Michael Schapira, Aviv Zohar STOC ’08: Proceedings of the 40th annual ACM symposium on Theory of computing | January 2008 STOC '08: Proceedings of the 40th annual ACM symposium on Theory of computing ISBN: 978-1-60558-047-0
Publication CILoS: A CDMA Indoor Localization System Waqas ur Rehman, Eyal de Lara, Stefan Saroiu Proceedings of the 10th International Conference on Ubiquitous Computing (Ubicomp) | January 2008
Publication Kinesis: A New Approach to Replica Placement in Distributed Storage Systems J. MacCormick, N. Murphy, Rama Ramasubramanian, Udi Wieder, J. Yang, Lidong Zhou Transactions on Storage | January 2008
Publication Ascertaining the Reality of Network Neutrality Violation in Backbone ISPs Ying Zhang, Z. Morley Mao, Ming Zhang HotNets | January 2008 HotNets
Publication Macroscopic Human Behavior Interpretation Using Distributed Imagers and other Sensors Dimitrios Lymberopoulos, Thiago Teixeira, Andreas Savvides Proceedings of IEEE | January 2008
Publication Context-Aware Battery Management for Mobile Phones Nishkam Ravi, James Scott, Lu Han, Liviu Iftode Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008) | January 2008
Publication COLR-Tree: Communication Efficient Spatio-Temporal Index for a Sensor Data Web Portal Yanif Ahmad, Suman Nath ICDE’08: 24th International Conference on Data Engineering | January 2008 Best Paper Award Project
Publication Back to the Future: Revisiting Precise Program Verification using SMT Solvers Shuvendu Lahiri, Shaz Qadeer Principles of Programming Languages (POPL) | January 2008 Project
Publication Dynamic decentralized multi-channel MAC protocols Hulya Seferoglu, Ashvin Lakshmikantha, Ayalvadi Ganesh, Peter Key Information Theory and Applications (ITA 08) | January 2008
Publication ShutUp: End-to-End Containment of Unwanted Traffic Saikat Guha, Paul Francis, Nina Taft http://hdl.handle.net/1813/11101 | January 2008