• 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 33 matches

• 2010
• 
  Ganesh Ananthanarayanan, Srikanth Kandula, Albert G. Greenberg, Ion Stoica, Yi Lu, Bikas Saha, Edward Harris:
  Reining in the Outliers in Map-Reduce Clusters using Mantri. OSDI 2010: 265-278
• 
  Mona Attariyan, Jason Flinn:
  Automating Configuration Troubleshooting with Dynamic Information Flow Analysis. OSDI 2010: 237-250
• 
  Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford:
  Efficient System-Enforced Deterministic Parallelism. OSDI 2010: 193-206
• 
  Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel:
  Finding a Needle in Haystack: Facebook's Photo Storage. OSDI 2010: 47-60
• 
  Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman, Ben-Ami Yassour:
  The Turtles Project: Design and Implementation of Nested Virtualization. OSDI 2010: 423-436
• 
  Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble:
  Deterministic Process Groups in dOS. OSDI 2010: 177-191
• 
  Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich:
  An Analysis of Linux Scalability to Many Cores. OSDI 2010: 1-16
• 
  Timothy Broomhead, Laurence Cremean, Julien Ridoux, Darryl Veitch:
  Virtualize Everything but Time. OSDI 2010: 451-464
• 
  Adam Chlipala:
  Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications. OSDI 2010: 105-118
• 
  Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang:
  Stable Deterministic Multithreading through Schedule Memoization. OSDI 2010: 207-221
• 
  William Enck, Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick D. McDaniel, Anmol Sheth:
  TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. OSDI 2010: 393-407
• 
  John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk:
  Effective Data-Race Detection for the Kernel. OSDI 2010: 151-162
• 
  Ariel J. Feldman, William P. Zeller, Michael J. Freedman, Edward W. Felten:
  SPORC: Group Collaboration using Untrusted Cloud Resources. OSDI 2010: 337-350
• 
  Daniel Ford, François Labelle, Florentina I. Popovici, Murray Stokely, Van-Anh Truong, Luiz Barroso, Carrie Grimes, Sean Quinlan:
  Availability in Globally Distributed Storage Systems. OSDI 2010: 61-74
• 
  Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, Henry M. Levy:
  Comet: An active distributed key-value store. OSDI 2010: 323-336
• 
  Ajay Gulati, Arif Merchant, Peter J. Varman:
  mClock: Handling Throughput Variability for Hypervisor IO Scheduling. OSDI 2010: 437-450
• 
  Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, Li Zhuang:
  Nectar: Automatic Management of Data and Computation in Datacenters. OSDI 2010: 75-88
• 
  Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, Peter Druschel:
  Accountable Virtual Machines. OSDI 2010: 119-134
• 
  Maya Haridasan, Iqbal Mohomed, Doug Terry, Chandramohan A. Thekkath, Li Zhang:
  StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications. OSDI 2010: 409-422
• 
  Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
  Intrusion Recovery Using Selective Re-execution. OSDI 2010: 89-104
• 
  Teemu Koponen, Martín Casado, Natasha Gude, Jeremy Stribling, Leon Poutievski, Min Zhu, Rajiv Ramanathan, Yuichiro Iwata, Hiroaki Inoue, Takayuki Hama, Scott Shenker:
  Onix: A Distributed Control Platform for Large-scale Production Networks. OSDI 2010: 351-364
• 
  Nate Kushman, Dina Katabi:
  Enabling Configuration-Independent Automation by Non-Expert Users. OSDI 2010: 223-236
• 
  Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish:
  Depot: Cloud Storage with Minimal Trust. OSDI 2010: 307-322
• 
  Daniel Peng, Frank Dabek:
  Large-scale Incremental Processing Using Distributed Transactions and Notifications. OSDI 2010: 251-264
• 
  Lucian Popa, Norbert Egi, Sylvia Ratnasamy, Ion Stoica:
  Building Extensible Networks with Rule-Based Forwarding. OSDI 2010: 379-392
• 
  Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov:
  Transactional Consistency and Automatic Management in an Application Data Cache. OSDI 2010: 279-292
• 
  Russell Power, Jinyang Li:
  Piccolo: Building Fast, Distributed Programs with Partitioned Tables. OSDI 2010: 293-306
• 
  Rob Sherwood, Glen Gibb, Kok-Kiong Yap, Guido Appenzeller, Martín Casado, Nick McKeown, Guru M. Parulkar:
  Can the Production Network Be the Testbed? OSDI 2010: 365-378
• 
  Livio Soares, Michael Stumm:
  FlexSC: Flexible System Call Scheduling with Exception-Less System Calls. OSDI 2010: 33-46
• 
  Shuo Tang, Haohui Mai, Samuel T. King:
  Trust and Protection in the Illinois Browser Operating System. OSDI 2010: 17-32

skipping 3 more matches