Publication Memory partitioning for multidimensional arrays in high-level synthesis Yuxin Wang, Peng Li, Peng Zhang, Chen Zhang, Jason Cong Proceedings of the 50th Annual Design Automation Conference | June 2013
Publication MiG: Efficient Migration of Desktop VMs using Semantic Compression Anshul Rai, Ramachandran Ramjee, Ashok Anand, Venkat Padmanabhan, George Varghese USENIX Annual Technical Conference | June 2013 USENIX Annual Technical Conference Project
Publication New Cyber Physical System Challenges for Human-in-the-Loop Control Sirajum Munir, John A. Stankovic, Chieh-Jan Mike Liang, Shan Lin Feedback Computing (International Workshop on Feedback Computing) | June 2013
Publication Towards systems level prognostics in the Cloud Budhaditya Deb, Mohak Shah, Scott Evans, Manoj Mehta, Anthony Gargulak, Tom Lasky IEEE Conference on Prognostics and Health Management (PHM) | June 2013
Publication CamCubeOS: A Key-based Network Stack for 3D Torus Cluster Topologies Paolo Costa, Austin Donnelly, Greg O'Shea, Ant Rowstron The 22nd ACM International Symposium on High Performance Parallel and Distributed Computing (HPDC’13) | June 2013 Project
Publication How to Run POSIX Apps in a Minimal Picoprocess Jon Howell, Bryan Parno, John (JD) Douceur Proceedings of the USENIX Annual Technical Conference | June 2013 Proceedings of the USENIX Annual Technical Conference Project
Publication Non-black-box simulation in the fully concurrent setting Vipul Goyal STOC ’13 Proceedings of the forty-fifth annual ACM symposium on Theory of computing | June 2013
Publication A Combinatorial Prediction Market for the U.S. Elections Sébastien Lahaie, Miro Dudík, David Rothschild, David Pennock ACM Conference on Electronic Commerce | June 2013 Project
Publication Virtualizing Traffic Shapers for Practical Resource Allocation Gautam Kumar, Srikanth Kandula, Peter Bodík, Ishai Menache HotCloud | June 2013