Publication Eventually Consistent Transactions Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012 Proceedings of the 22n European Symposium on Programming (ESOP) Project
Publication Enabling Advanced Inference on Sensor Nodes Through Direct Use of Compressively Sensed Signals Shuayb Zarar, Niraj K. Jha, Naveen Verma IEEE Conf. Design Automation and Test in Europe (DATE) | March 2012
Publication Iterative optimization for the data center Yang Chen, Shuangde Fang, Lieven Eeckhout, Olivier Temam, Chengyong Wu 2012 Architectural Support for Programming Languages and Operating Systems | March 2012
Publication Cosmic Rays Don’t Strike Twice: Understanding the Nature of DRAM Errors and the Implications for System Design Ioan Stefanovici Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2012) | March 2012
Publication How to Delegate and Verify in Public: Verifiable Computation from Attribute-based Encryption Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan Proceedings of the IACR Theory of Cryptography Conference (TCC) | March 2012 Proceedings of the IACR Theory of Cryptography Conference (TCC)
Publication Sonora: A Platform for Continuous Mobile-Cloud Computing Xiuwei Chen, Ivan Beschastnikh, Li Zhuang, Fan Yang, Zhengping Qian, Lidong Zhou, Guobin Shen, Jacky Shen MSR-TR-2012-34 | March 2012
Publication PocketWeb: Instant Web Browsing for Mobile Devices Dimitrios Lymberopoulos, Oriana Riva, Karin Strauss, Akshay Mittal, Alexandros Ntoulas ASPLOS 2012 (Architectural Support for Programming Languages and Operating Systems) | March 2012 ASPLOS 2012 (Architectural Support for Programming Languages and Operating Systems)
Publication GreenUp: A Decentralized System for Making Sleeping Machines Available Siddhartha Sen, Jay Lorch, Richard Hughes, Carlos Garcia, Brian Zill, Weverton Cordeiro, Jitu Padhye MSR-TR-2012-21 | March 2012