Abstract is missing.
- The scalable commutativity rule: designing scalable software for multicore processorsAustin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler. 1-17 [doi]
- Speedy transactions in multicore in-memory databasesStephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden. 18-32 [doi]
- Everything you always wanted to know about synchronization but were afraid to askTudor David, Rachid Guerraoui, Vasileios Trigonakis. 33-48 [doi]
- Dandelion: a compiler and runtime for heterogeneous systemsChristopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly. 49-68 [doi]
- Sparrow: distributed, low latency schedulingKay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica. 69-84 [doi]
- Timecard: controlling user-perceived delays in server-based mobile applicationsLenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan. 85-100 [doi]
- Fast dynamic binary translation for the kernelPiyush Kedia, Sorav Bansal. 101-115 [doi]
- VirtuOS: an operating system with kernel virtualizationRuslan Nikolaev, Godmar Back. 116-132 [doi]
- From L3 to seL4 what have we learnt in 20 years of L4 microkernels?Kevin Elphinstone, Gernot Heiser. 133-150 [doi]
- Replication, history, and grafting in the Ori file systemAli José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières. 151-166 [doi]
- An analysis of Facebook photo cachingQi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li. 167-181 [doi]
- IOFlow: a software-defined storage architectureEno Thereska, Hitesh Ballani, Greg O'Shea, Thomas Karagiannis, Antony I. T. Rowstron, Tom Talpey, Richard Black, Timothy Zhu. 182-196 [doi]
- From ARIES to MARS: transaction support for next-generation, solid-state drivesJoel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, Steven Swanson. 197-212 [doi]
- Asynchronous intrusion recovery for interconnected web servicesRamesh Chandra, Taesoo Kim, Nickolai Zeldovich. 213-227 [doi]
- Optimistic crash consistencyVijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 228-243 [doi]
- Do not blame users for misconfigurationsTianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy. 244-259 [doi]
- Towards optimization-safe systems: analyzing the impact of undefined behaviorXi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama. 260-275 [doi]
- Transaction chains: achieving serializability with low latency in geo-distributed storage systemsYang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li. 276-291 [doi]
- SPANStore: cost-effective geo-replicated storage spanning multiple cloud servicesZhe Wu, Michael Butkiewicz, Dorian Perkins, Ethan Katz-Bassett, Harsha V. Madhyastha. 292-308 [doi]
- Consistency-based service level agreements for cloud storageDouglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh. 309-324 [doi]
- Tango: distributed data structures over a shared logMahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou, Aviad Zuck. 325-340 [doi]
- Verifying computations with stateBenjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish. 341-357 [doi]
- There is more consensus in Egalitarian parliamentsIulian Moraru, David G. Andersen, Michael Kaminsky. 358-372 [doi]
- ROOT: replaying multithreaded traces with resource-oriented orderingZev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 373-387 [doi]
- Parrot: a practical runtime for deterministic, stable, and reliable threadsHeming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant. 388-405 [doi]
- RaceMob: crowdsourced data race detectionBaris Kasikci, Cristian Zamfir, George Candea. 406-422 [doi]
- Discretized streams: fault-tolerant streaming computation at scaleMatei Zaharia, Tathagata Das, Haoyuan Li, Timothy Hunter, Scott Shenker, Ion Stoica. 423-438 [doi]
- Naiad: a timely dataflow systemDerek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi. 439-455 [doi]
- A lightweight infrastructure for graph analyticsDonald Nguyen, Andrew Lenharth, Keshav Pingali. 456-471 [doi]
- X-Stream: edge-centric graph processing using streaming partitionsAmitabha Roy, Ivo Mihailovic, Willy Zwaenepoel. 472-488 [doi]