• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 43 matches

• 2014
• 
  Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg:
  SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. OSDI 2014: 415-431
• 
  Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, Eno Thereska:
  End-to-end Performance Isolation Through Virtual Datacenters. OSDI 2014: 233-248
• 
  Masoud Saeida Ardekani, Douglas B. Terry:
  A Self-Configurable Geo-Replicated Cloud Storage System. OSDI 2014: 367-381
• 
  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. OSDI 2014: 351-365
• 
  Julian Bangert, Nickolai Zeldovich:
  Nail: A Practical Tool for Parsing and Generating Data Formats. OSDI 2014: 615-628
• 
  Andrew Baumann, Marcus Peinado, Galen C. Hunt:
  Shielding Applications from an Untrusted Cloud with Haven. OSDI 2014: 267-283
• 
  Adam Belay, George Prekas, Ana Klimovic, Samuel Grossman, Christos Kozyrakis, Edouard Bugnion:
  IX: A Protected Dataplane Operating System for High Throughput and Low Latency. OSDI 2014: 49-65
• 
  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. OSDI 2014: 285-300
• 
  Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
  Identifying Information Disclosure in Web Applications with Retroactive Auditing. OSDI 2014: 555-569
• 
  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. OSDI 2014: 541-554
• 
  Trishul M. Chilimbi, Yutaka Suzue, Johnson Apacible, Karthik Kalyanaraman:
  Project Adam: Building an Efficient and Scalable Deep Learning Training System. OSDI 2014: 571-582
• 
  Michael Chow, David Meisner, Jason Flinn, Daniel Peek, Thomas F. Wenisch:
  The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services. OSDI 2014: 217-231
• 
  David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen:
  Eidetic Systems. OSDI 2014: 525-540
• 
  Joseph E. Gonzalez, Reynold S. Xin, Ankur Dave, Daniel Crankshaw, Michael J. Franklin, Ion Stoica:
  GraphX: Graph Processing in a Distributed Dataflow Framework. OSDI 2014: 599-613
• 
  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. OSDI 2014: 165-181
• 
  Sangman Kim, Seonggu Huh, Xinya Zhang, Yige Hu, Amir Wated, Emmett Witchel, Mark Silberstein:
  GPUnet: Networking Abstractions for GPU Programs. OSDI 2014: 201-216
• 
  Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song:
  Code-Pointer Integrity. OSDI 2014: 147-163
• 
  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. OSDI 2014: 399-414
• 
  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. OSDI 2014: 583-598
• 
  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. OSDI 2014: 81-96
• 
  Scott Moore, Christos Dimoulas, Dan King, Stephen Chong:
  SHILL: A Secure Shell Scripting Language. OSDI 2014: 183-199
• 
  Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li:
  Extracting More Concurrency from Distributed Transactions. OSDI 2014: 479-494
• 
  Stefan C. Müller, Gustavo Alonso, Adam Amara, André Csillaghy:
  Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud. OSDI 2014: 645-659
• 
  Neha Narula, Cody Cutler, Eddie Kohler, Robert Morris:
  Phase Reconciliation for Contended In-Memory Transactions. OSDI 2014: 511-524
• 
  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. OSDI 2014: 1-16
• 
  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. OSDI 2014: 433-448
• 
  Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij:
  User-Guided Device Driver Synthesis. OSDI 2014: 661-676
• 
  Sudharsan Seshadri, Mark Gahagan, Meenakshi Sundaram Bhaskaran, Trevor Bunker, Arup De, Yanqin Jin, Yang Liu, Steven Swanson:
  Willow: A User-Programmable SSD. OSDI 2014: 67-80
• 
  Riley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu, Gail E. Kaiser:
  Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems. OSDI 2014: 113-129
• 
  Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières:
  Protecting Users by Confining JavaScript with COWL. OSDI 2014: 131-146

skipping 13 more matches