default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th OSDI 2016: Savannah, GA, USA
- Kimberly Keeton, Timothy Roscoe:
12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016. USENIX Association 2016
Operating Systems I
- Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang:
Push-Button Verification of File Systems via Crash Refinement. 1-16 - Joel van der Woude, Matthew Hicks:
Intermittent Computation without Hardware Support or Programmer Intervention. 17-32 - Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe:
Machine-Aware Atomic Broadcast Trees for Multicores. 33-48 - James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel:
Light-Weight Contexts: An OS Abstraction for Safety and Performance. 49-64
Cloud Systems I
- Robert Grandl, Mosharaf Chowdhury, Aditya Akella, Ganesh Ananthanarayanan:
Altruistic Scheduling in Multi-Resource Clusters. 65-80 - Robert Grandl, Srikanth Kandula, Sriram Rao, Aditya Akella, Janardhan Kulkarni:
GRAPHENE: Packing and Dependency-Aware Scheduling for Data-Parallel Clusters. 81-97 - Ionel Gog, Malte Schwarzkopf, Adam Gleave, Robert N. M. Watson, Steven Hand:
Firmament: Fast, Centralized Cluster Scheduling at Scale. 99-115 - Sangeetha Abdu Jyothi
, Carlo Curino, Ishai Menache, Shravan Matthur Narayanamurthy, Alexey Tumanov, Jonathan Yaniv, Ruslan Mavlyutov, Iñigo Goiri, Subru Krishnan, Janardhan Kulkarni, Sriram Rao:
Morpheus: Towards Automated SLOs for Enterprise Clusters. 117-134
Transactions and Storage
- Haonan Lu, Christopher Hodsdon, Khiem Ngo, Shuai Mu, Wyatt Lloyd:
The SNOW Theorem and Latency-Optimal Read-Only Transactions. 135-150 - Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Correlated Crash Vulnerabilities. 151-167 - Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi:
Incremental Consistency Guarantees for Replicated Objects. 169-184 - Anuj Kalia, Michael Kaminsky, David G. Andersen:
FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs. 185-201
Networking
- Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, Scott Shenker:
NetBricks: Taking the V out of NFV. 203-216 - Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese:
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. 217-232 - Praveen Tammana, Rachit Agarwal, Myungjin Lee:
Simplifying Datacenter Network Debugging with PathDump. 233-248 - Peter Xiang Gao, Akshay Narayan, Sagar Karandikar, João Carreira, Sangjin Han, Rachit Agarwal, Sylvia Ratnasamy, Scott Shenker:
Network Requirements for Resource Disaggregation. 249-264
Graph Processing and Machine Learning
- Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng:
TensorFlow: A System for Large-Scale Machine Learning. 265-283 - Mingxing Zhang, Yongwei Wu, Kang Chen, Xuehai Qian, Xue Li, Weimin Zheng:
Exploring the Hidden Dimension in Graph Processing. 285-300 - Xiaowei Zhu, Wenguang Chen, Weimin Zheng, Xiaosong Ma:
Gemini: A Computation-Centric Distributed Graph Processing System. 301-316 - Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen, Feifei Li:
Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration. 317-332
Languages and Software Engineering
- Barry Porter, Matthew Grieves, Roberto Rodrigues Filho, David Leslie:
REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems. 333-348 - Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu:
Yak: A High-Performance Big-Data-Friendly Garbage Collector. 349-365 - David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello:
Shuffler: Fast and Deployable Continuous Code Re-Randomization. 367-382 - David Lion, Adrian Chiu, Hailong Sun, Xin Zhuang, Nikola Grcevski, Ding Yuan:
Don't Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel Systems. 383-400
Potpourri
- K. V. Rashmi, Mosharaf Chowdhury, Jack Kosaian, Ion Stoica, Kannan Ramchandran:
EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure Coding. 401-417 - Matthew Curtis-Maury, Vinay Devadas, Vania Fang, Aditya Kulkarni:
To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code. 419-434 - Raajay Viswanathan, Ganesh Ananthanarayanan, Aditya Akella:
CLARINET: WAN-Aware Optimization for Analytics Queries. 435-450 - Andrew Quinn, David Devecsery, Peter M. Chen, Jason Flinn:
JetStream: Cluster-Scale Parallelization of Information Flow Queries. 451-466
Fault Tolerance and Consensus
- Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports:
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering. 467-483 - Shengyun Liu, Paolo Viotti, Christian Cachin, Vivien Quéma, Marko Vukolic:
XFT: Practical Fault Tolerance beyond Crashes. 485-500 - Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren:
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. 501-516 - Shuai Mu, Lamont Nelson, Wyatt Lloyd, Jinyang Li:
Consolidating Concurrency Control and Consensus for Commits under Conflicts. 517-532
Security
- Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, Emmett Witchel:
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data. 533-549 - Sebastian Angel, Srinath T. V. Setty:
Unobservable Communication over Fully Untrusted Infrastructure. 551-569 - David Lazar, Nickolai Zeldovich:
Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. 571-586 - Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh, Abhishek Modi, Saikrishna Badrinarayanan:
Big Data Analytics over Encrypted Datasets with Seabed. 587-602
Troubleshooting
- Xu Zhao, Kirk Rodrigues, Yu Luo, Ding Yuan, Michael Stumm:
Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle. 603-618 - Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy:
Early Detection of Configuration Errors to Reduce Failure Damage. 619-634 - Kaushik Veeraraghavan, Justin Meza, David Chou, Wonho Kim, Sonia Margulis, Scott Michelson, Rajesh Nishtala, Daniel Obenshain, Dmitri Perelman, Yee Jiun Song:
Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services. 635-651
Operating Systems II
- Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo:
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. 653-669 - Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, Jonathan Appavoo:
EbbRT: A Framework for Building Per-Application Library Operating Systems. 671-688 - Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, André Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark Stillwell, David Goltzsche, David M. Eyers, Rüdiger Kapitza, Peter R. Pietzuch, Christof Fetzer:
SCONE: Secure Linux Containers with Intel SGX. 689-703 - Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel:
Coordinated and Efficient Huge Page Management with Ingens. 705-721
Cloud Systems II
- Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy:
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. 723-738 - Atul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, Roberto Peon, Larry Kai, Alexander Shraer, Arif Merchant, Kfir Lev-Ari:
Slicer: Auto-Sharding for Datacenter Applications. 739-753 - Yunqi Zhang, George Prekas, Giovanni Matteo Fumarola, Marcus Fontoura, Iñigo Goiri, Ricardo Bianchini:
History-Based Harvesting of Spare Cycles and Storage in Large-Scale Datacenters. 755-770 - Michael Chow, Kaushik Veeraraghavan, Michael J. Cafarella, Jason Flinn:
DQBarge: Improving Data-Quality Tradeoffs in Large-Scale Internet Services. 771-786
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.
last updated on 2025-03-21 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
