| 2013 | A compiler-level intermediate representation based binary analysis and rewriting system. Kapil Anand, Matthew Smithson, Khaled ElWazeer, Aparna Kotha, Jim Gruen, Nathan Giles, Rajeev Barua |
| 2013 | Adaptive parallelism for web search. Myeongjae Jeon, Yuxiong He, Sameh Elnikety, Alan L. Cox, Scott Rixner |
| 2013 | Application level ballooning for efficient server consolidation. Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone |
| 2013 | Augustus: scalable and robust storage for cloud applications. Ricardo Padilha, Fernando Pedone |
| 2013 | BlinkDB: queries with bounded errors and bounded response times on very large data. Sameer Agarwal, Barzan Mozafari, Aurojit Panda, Henry Milner, Samuel Madden, Ion Stoica |
| 2013 | CPI Xiao Zhang, Eric Tune, Robert Hagmann, Rohit Jnagal, Vrigo Gokhale, John Wilkes |
| 2013 | ChainReaction: a causal+ consistent datastore based on chain replication. Sérgio Almeida, João Leitão, Luís E. T. Rodrigues |
| 2013 | Choosy: max-min fair sharing for datacenter jobs with constraints. Ali Ghodsi, Matei Zaharia, Scott Shenker, Ion Stoica |
| 2013 | Composing OS extensions safely and efficiently with Bascule. Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt |
| 2013 | Conversion: multi-version concurrency control for main memory segments. Timothy Merrifield, Jakob Eriksson |
| 2013 | Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013 Zdenek Hanzálek, Hermann Härtig, Miguel Castro, M. Frans Kaashoek |
| 2013 | Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. Stan Park, Terence Kelly, Kai Shen |
| 2013 | Hypnos: understanding and treating sleep conflicts in smartphones. Abhilash Jindal, Abhinav Pathak, Y. Charlie Hu, Samuel P. Midkiff |
| 2013 | IFDB: decentralized information flow control for databases. David A. Schultz, Barbara Liskov |
| 2013 | MDCC: multi-data center consistency. Tim Kraska, Gene Pang, Michael J. Franklin, Samuel Madden, Alan D. Fekete |
| 2013 | Maygh: building a CDN from client web browsers. Liang Zhang, Fangfei Zhou, Alan Mislove, Ravi Sundaram |
| 2013 | MeT: workload aware elasticity for NoSQL. Francisco Cruz, Francisco Maia, Miguel Matos, Rui Oliveira, João Paulo, José Pereira, Ricardo Vilaça |
| 2013 | Mizan: a system for dynamic load balancing in large-scale graph processing. Zuhair Khayyat, Karim Awara, Amani AlOnazi, Hani Jamjoom, Dan Williams, Panos Kalnis |
| 2013 | Omega: flexible, scalable schedulers for large compute clusters. Malte Schwarzkopf, Andy Konwinski, Michael Abd-El-Malek, John Wilkes |
| 2013 | Optimus: a dynamic rewriting framework for data-parallel execution plans. Qifa Ke, Michael Isard, Yuan Yu |
| 2013 | Prefetching mobile ads: can advertising systems afford it? Prashanth Mohan, Suman Nath, Oriana Riva |
| 2013 | Presto: distributed machine learning and graph processing with sparse matrices. Shivaram Venkataraman, Erik Bodzsar, Indrajit Roy, Alvin AuYoung, Robert S. Schreiber |
| 2013 | Process firewalls: protecting processes during resource access. Hayawardh Vijayakumar, Joshua Schiffman, Trent Jaeger |
| 2013 | RadixVM: scalable address spaces for multithreaded applications. Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2013 | RapiLog: reducing system complexity through verification. Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso |
| 2013 | Resolving the conflict between generality and plausibility in verified computation. Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish |
| 2013 | TimeStream: reliable stream computation in the cloud. Zhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, Hongyu Zhu, Taizhi Zhang, Lidong Zhou, Yuan Yu, Zheng Zhang |
| 2013 | Whose cache line is it anyway?: operating system support for live detection and repair of false sharing. Mihir Nanavati, Mark Spear, Nathan Taylor, Shriram Rajagopalan, Dutch T. Meyer, William Aiello, Andrew Warfield |
| 2013 | hClock: hierarchical QoS for packet scheduling in a hypervisor. Jean-Pascal Billaud, Ajay Gulati |