


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 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














