Abstract is missing.
- Arrakis: The Operating System is the Control PlaneSimon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe. 1-16 [doi]
- Decoupling Cores, Kernels, and Operating SystemsGerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe. 17-31 [doi]
- Jitk: A Trustworthy In-Kernel Interpreter InfrastructureXi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock. 33-47 [doi]
- IX: A Protected Dataplane Operating System for High Throughput and Low LatencyAdam Belay, George Prekas, Ana Klimovic, Samuel Grossman, Christos Kozyrakis, Edouard Bugnion. 49-65 [doi]
- Willow: A User-Programmable SSDSudharsan Seshadri, Mark Gahagan, Meenakshi Sundaram Bhaskaran, Trevor Bunker, Arup De, Yanqin Jin, Yang Liu, Steven Swanson. 67-80 [doi]
- Physical Disentanglement in a Container-Based File SystemLanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 81-96 [doi]
- Customizable and Extensible Deployment for Mobile/Cloud ApplicationsIrene Zhang, Adriana Szekeres, Dana Van Aken, Isaac Ackerman, Steven D. Gribble, Arvind Krishnamurthy, Henry M. Levy. 97-112 [doi]
- Pebbles: Fine-Grained Data Management Abstractions for Modern Operating SystemsRiley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu, Gail E. Kaiser. 113-129 [doi]
- Protecting Users by Confining JavaScript with COWLDeian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières. 131-146 [doi]
- Code-Pointer IntegrityVolodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song. 147-163 [doi]
- Ironclad Apps: End-to-End Security via Automated Full-System VerificationChris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill. 165-181 [doi]
- SHILL: A Secure Shell Scripting LanguageScott Moore, Christos Dimoulas, Dan King, Stephen Chong. 183-199 [doi]
- GPUnet: Networking Abstractions for GPU ProgramsSangman Kim, Seonggu Huh, Xinya Zhang, Yige Hu, Amir Wated, Emmett Witchel, Mark Silberstein. 201-216 [doi]
- The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet ServicesMichael Chow, David Meisner, Jason Flinn, Daniel Peek, Thomas F. Wenisch. 217-231 [doi]
- End-to-end Performance Isolation Through Virtual DatacentersSebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, Eno Thereska. 233-248 [doi]
- Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive SystemsDing Yuan, Yu Luo, Xin Zhuang, Guilherme Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay Jain, Michael Stumm. 249-265 [doi]
- Shielding Applications from an Untrusted Cloud with HavenAndrew Baumann, Marcus Peinado, Galen C. Hunt. 267-283 [doi]
- Apollo: Scalable and Coordinated Scheduling for Cloud-Scale ComputingEric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, Lidong Zhou. 285-300 [doi]
- The Power of Choice in Data-Aware Cluster SchedulingShivaram Venkataraman, Aurojit Panda, Ganesh Ananthanarayanan, Michael J. Franklin, Ion Stoica. 301-316 [doi]
- Heading Off Correlated Failures through Independence-as-a-ServiceEnnan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford. 317-334 [doi]
- Characterizing Storage Workloads with Counter StacksJake Wires, Stephen Ingram, Zachary Drudi, Nicholas J. A. Harvey, Andrew Warfield. 335-349 [doi]
- Pelican: A Building Block for Exascale Cold Data StorageShobana Balakrishnan, Richard Black, Austin Donnelly, Paul England, Adam Glass, David Harper, Sergey Legtchenko, Aaron Ogus, Eric Peterson, Antony I. T. Rowstron. 351-365 [doi]
- A Self-Configurable Geo-Replicated Cloud Storage SystemMasoud Saeida Ardekani, Douglas B. Terry. 367-381 [doi]
- f4: Facebook's Warm BLOB Storage SystemMuralidhar Subramanian, Wyatt Lloyd, Sabyasachi Roy, Cory Hill, Ernest Lin, Weiwen Liu, Satadru Pan, Shiva Shankar, Sivakumar Viswanathan, Linpeng Tang, Sanjeev Kumar. 383-398 [doi]
- SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud SystemsTanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi. 399-414 [doi]
- SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule ExplorationPedro Fonseca 0001, Rodrigo Rodrigues, Björn B. Brandenburg. 415-431 [doi]
- All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent ApplicationsThanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 433-448 [doi]
- Torturing Databases for Fun and ProfitMai Zheng, Joseph Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge, Elizabeth S. Yang, Bill W. Zhao, Shashank Singh. 449-464 [doi]
- Fast Databases with Fast Durability and Recovery Through Multicore ParallelismWenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov. 465-477 [doi]
- Extracting More Concurrency from Distributed TransactionsShuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li. 479-494 [doi]
- Salt: Combining ACID and BASE in a Distributed DatabaseChao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang 0009, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan. 495-509 [doi]
- Phase Reconciliation for Contended In-Memory TransactionsNeha Narula, Cody Cutler, Eddie Kohler, Robert Morris. 511-524 [doi]
- Eidetic SystemsDavid Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen. 525-540 [doi]
- Detecting Covert Timing Channels with Time-Deterministic ReplayAng Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh Thi Xuan Phan, Micah Sherr, Wenchao Zhou. 541-554 [doi]
- Identifying Information Disclosure in Web Applications with Retroactive AuditingHaogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek. 555-569 [doi]
- Project Adam: Building an Efficient and Scalable Deep Learning Training SystemTrishul M. Chilimbi, Yutaka Suzue, Johnson Apacible, Karthik Kalyanaraman. 571-582 [doi]
- Scaling Distributed Machine Learning with the Parameter ServerMu Li, David G. Andersen, Jun Woo Park, Alexander J. Smola, Amr Ahmed, Vanja Josifovski, James Long, Eugene J. Shekita, Bor-Yiing Su. 583-598 [doi]
- GraphX: Graph Processing in a Distributed Dataflow FrameworkJoseph E. Gonzalez, Reynold S. Xin, Ankur Dave, Daniel Crankshaw, Michael J. Franklin, Ion Stoica. 599-613 [doi]
- Nail: A Practical Tool for Parsing and Generating Data FormatsJulian Bangert, Nickolai Zeldovich. 615-628 [doi]
- lprof: A Non-intrusive Request Flow Profiler for Distributed SystemsXu Zhao, Yongle Zhang, David Lion, Muhammad Faizan Ullah, Yu Luo, Ding Yuan, Michael Stumm. 629-644 [doi]
- Pydron: Semi-Automatic Parallelization for Multi-Core and the CloudStefan C. Müller, Gustavo Alonso, Adam Amara, André Csillaghy. 645-659 [doi]
- User-Guided Device Driver SynthesisLeonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij. 661-676 [doi]