default search action
11th OSDI 2014: Broomfield, CO, USA
- Jason Flinn, Hank Levy:
11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014. USENIX Association 2014
Who Put the Kernel in My OS Conference?
- Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe:
Arrakis: The Operating System is the Control Plane. 1-16 - Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe:
Decoupling Cores, Kernels, and Operating Systems. 17-31 - Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock:
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 33-47 - Adam Belay, George Prekas, Ana Klimovic, Samuel Grossman, Christos Kozyrakis, Edouard Bugnion:
IX: A Protected Dataplane Operating System for High Throughput and Low Latency. 49-65
Data in the Abstract
- Sudharsan Seshadri, Mark Gahagan, Meenakshi Sundaram Bhaskaran, Trevor Bunker, Arup De, Yanqin Jin, Yang Liu, Steven Swanson:
Willow: A User-Programmable SSD. 67-80 - Lanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Physical Disentanglement in a Container-Based File System. 81-96 - Irene Zhang, Adriana Szekeres, Dana Van Aken, Isaac Ackerman, Steven D. Gribble, Arvind Krishnamurthy, Henry M. Levy:
Customizable and Extensible Deployment for Mobile/Cloud Applications. 97-112 - Riley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu, Gail E. Kaiser:
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems. 113-129
My Insecurities
- Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières:
Protecting Users by Confining JavaScript with COWL. 131-146 - Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song:
Code-Pointer Integrity. 147-163 - Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill:
Ironclad Apps: End-to-End Security via Automated Full-System Verification. 165-181 - Scott Moore, Christos Dimoulas, Dan King, Stephen Chong:
SHILL: A Secure Shell Scripting Language. 183-199
Variety Pack
- Sangman Kim, Seonggu Huh, Xinya Zhang, Yige Hu, Amir Wated, Emmett Witchel, Mark Silberstein:
GPUnet: Networking Abstractions for GPU Programs. 201-216 - Michael Chow, David Meisner, Jason Flinn, Daniel Peek, Thomas F. Wenisch:
The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services. 217-231 - Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, Eno Thereska:
End-to-end Performance Isolation Through Virtual Datacenters. 233-248 - Ding Yuan, Yu Luo, Xin Zhuang, Guilherme Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay Jain, Michael Stumm:
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. 249-265
Head in the Cloud
- Andrew Baumann, Marcus Peinado, Galen C. Hunt:
Shielding Applications from an Untrusted Cloud with Haven. 267-283 - Eric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, Lidong Zhou:
Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing. 285-300 - Shivaram Venkataraman, Aurojit Panda, Ganesh Ananthanarayanan, Michael J. Franklin, Ion Stoica:
The Power of Choice in Data-Aware Cluster Scheduling. 301-316 - Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford:
Heading Off Correlated Failures through Independence-as-a-Service. 317-334
Storage Runs Hot and Cold
- Jake Wires, Stephen Ingram, Zachary Drudi, Nicholas J. A. Harvey, Andrew Warfield:
Characterizing Storage Workloads with Counter Stacks. 335-349 - Shobana Balakrishnan, Richard Black, Austin Donnelly, Paul England, Adam Glass, David Harper, Sergey Legtchenko, Aaron Ogus, Eric Peterson, Antony I. T. Rowstron:
Pelican: A Building Block for Exascale Cold Data Storage. 351-365 - Masoud Saeida Ardekani, Douglas B. Terry:
A Self-Configurable Geo-Replicated Cloud Storage System. 367-381 - Muralidhar Subramanian, Wyatt Lloyd, Sabyasachi Roy, Cory Hill, Ernest Lin, Weiwen Liu, Satadru Pan, Shiva Shankar, Sivakumar Viswanathan, Linpeng Tang, Sanjeev Kumar:
f4: Facebook's Warm BLOB Storage System. 383-398
Pest Control
- Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi:
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. 399-414 - Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg:
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. 415-431 - Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications. 433-448 - Mai Zheng, Joseph A. Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge, Elizabeth S. Yang, Bill W. Zhao, Shashank Singh:
Torturing Databases for Fun and Profit. 449-464
Transaction Action
- Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov:
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism. 465-477 - Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li:
Extracting More Concurrency from Distributed Transactions. 479-494 - Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan:
Salt: Combining ACID and BASE in a Distributed Database. 495-509 - Neha Narula, Cody Cutler, Eddie Kohler, Robert Tappan Morris:
Phase Reconciliation for Contended In-Memory Transactions. 511-524
Play It Again, Sam
- David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen:
Eidetic Systems. 525-540 - Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh Thi Xuan Phan, Micah Sherr, Wenchao Zhou:
Detecting Covert Timing Channels with Time-Deterministic Replay. 541-554 - Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Identifying Information Disclosure in Web Applications with Retroactive Auditing. 555-569
Help Me Learn
- Trishul M. Chilimbi, Yutaka Suzue, Johnson Apacible, Karthik Kalyanaraman:
Project Adam: Building an Efficient and Scalable Deep Learning Training System. 571-582 - Mu Li, David G. Andersen, Jun Woo Park, Alexander J. Smola, Amr Ahmed, Vanja Josifovski, James Long, Eugene J. Shekita, Bor-Yiing Su:
Scaling Distributed Machine Learning with the Parameter Server. 583-598 - Joseph E. Gonzalez, Reynold S. Xin, Ankur Dave, Daniel Crankshaw, Michael J. Franklin, Ion Stoica:
GraphX: Graph Processing in a Distributed Dataflow Framework. 599-613
Hammers and Saws
- Julian Bangert, Nickolai Zeldovich:
Nail: A Practical Tool for Parsing and Generating Data Formats. 615-628 - Xu Zhao, Yongle Zhang, David Lion, Muhammad Faizan Ullah, Yu Luo, Ding Yuan, Michael Stumm:
lprof: A Non-intrusive Request Flow Profiler for Distributed Systems. 629-644 - Stefan C. Müller, Gustavo Alonso, Adam Amara, André Csillaghy:
Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud. 645-659 - Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij:
User-Guided Device Driver Synthesis. 661-676
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.