Abstract is missing.
- TimeStream: reliable stream computation in the cloudZhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, Hongyu Zhu, Taizhi Zhang, Lidong Zhou, Yuan Yu, Zheng Zhang. 1-14 [doi]
- Optimus: a dynamic rewriting framework for data-parallel execution plansQifa Ke, Michael Isard, Yuan Yu. 15-28 [doi]
- BlinkDB: queries with bounded errors and bounded response times on very large dataSameer Agarwal, Barzan Mozafari, Aurojit Panda, Henry Milner, Samuel Madden, Ion Stoica. 29-42 [doi]
- IFDB: decentralized information flow control for databasesDavid A. Schultz, Barbara Liskov. 43-56 [doi]
- Process firewalls: protecting processes during resource accessHayawardh Vijayakumar, Joshua Schiffman, Trent Jaeger. 57-70 [doi]
- Resolving the conflict between generality and plausibility in verified computationSrinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish. 71-84 [doi]
- ChainReaction: a causal+ consistent datastore based on chain replicationSérgio Almeida, João Leitão, Luís Rodrigues. 85-98 [doi]
- Augustus: scalable and robust storage for cloud applicationsRicardo Padilha, Fernando Pedone. 99-112 [doi]
- MDCC: multi-data center consistencyTim Kraska, Gene Pang, Michael J. Franklin, Samuel Madden, Alan Fekete. 113-126 [doi]
- Conversion: multi-version concurrency control for main memory segmentsTimothy Merrifield, Jakob Eriksson. 127-139 [doi]
- Whose cache line is it anyway?: operating system support for live detection and repair of false sharingMihir Nanavati, Mark Spear, Nathan Taylor, Shriram Rajagopalan, Dutch T. Meyer, William Aiello, Andrew Warfield. 141-154 [doi]
- Adaptive parallelism for web searchMyeongjae Jeon, Yuxiong He, Sameh Elnikety, Alan L. Cox, Scott Rixner. 155-168 [doi]
- Mizan: a system for dynamic load balancing in large-scale graph processingZuhair Khayyat, Karim Awara, Amani Alonazi, Hani Jamjoom, Dan Williams, Panos Kalnis. 169-182 [doi]
- MeT: workload aware elasticity for NoSQLFrancisco Cruz, Francisco Maia, Miguel Matos, Rui Oliveira, João Paulo, José Pereira, Ricardo Vilaça. 183-196 [doi]
- Presto: distributed machine learning and graph processing with sparse matricesShivaram Venkataraman, Erik Bodzsar, Indrajit Roy, Alvin AuYoung, Robert S. Schreiber. 197-210 [doi]
- RadixVM: scalable address spaces for multithreaded applicationsAustin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich. 211-224 [doi]
- Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable dataStan Park, Terence Kelly, Kai Shen. 225-238 [doi]
- Composing OS extensions safely and efficiently with BasculeAndrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt. 239-252 [doi]
- Hypnos: understanding and treating sleep conflicts in smartphonesAbhilash Jindal, Abhinav Pathak, Y. Charlie Hu, Samuel P. Midkiff. 253-266 [doi]
- Prefetching mobile ads: can advertising systems afford it?Prashanth Mohan, Suman Nath, Oriana Riva. 267-280 [doi]
- Maygh: building a CDN from client web browsersLiang Zhang, Fangfei Zhou, Alan Mislove, Ravi Sundaram. 281-294 [doi]
- A compiler-level intermediate representation based binary analysis and rewriting systemKapil Anand, Matthew Smithson, Khaled Elwazeer, Aparna Kotha, Jim Gruen, Nathan Giles, Rajeev Barua. 295-308 [doi]
- hClock: hierarchical QoS for packet scheduling in a hypervisorJean-Pascal Billaud, Ajay Gulati. 309-322 [doi]
- RapiLog: reducing system complexity through verificationGernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso. 323-336 [doi]
- Application level ballooning for efficient server consolidationTudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone. 337-350 [doi]
- Omega: flexible, scalable schedulers for large compute clustersMalte Schwarzkopf, Andy Konwinski, Michael Abd-El-Malek, John Wilkes. 351-364 [doi]
- Choosy: max-min fair sharing for datacenter jobs with constraintsAli Ghodsi, Matei Zaharia, Scott Shenker, Ion Stoica. 365-378 [doi]
- 2: CPU performance isolation for shared compute clustersXiao Zhang, Eric Tune, Robert Hagmann, Rohit Jnagal, Vrigo Gokhale, John Wilkes. 379-391 [doi]