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

• 2013
• 
  Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou, Aviad Zuck:
  Tango: distributed data structures over a shared log. SOSP 2013: 325-340
• 
  Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish:
  Verifying computations with state. SOSP 2013: 341-357
• 
  Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich:
  Asynchronous intrusion recovery for interconnected web services. SOSP 2013: 213-227
• 
  Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
  Optimistic crash consistency. SOSP 2013: 228-243
• 
  Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler:
  The scalable commutativity rule: designing scalable software for multicore processors. SOSP 2013: 1-17
• 
  Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, Steven Swanson:
  From ARIES to MARS: transaction support for next-generation, solid-state drives. SOSP 2013: 197-212
• 
  Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant:
  Parrot: a practical runtime for deterministic, stable, and reliable threads. SOSP 2013: 388-405
• 
  Tudor David, Rachid Guerraoui, Vasileios Trigonakis:
  Everything you always wanted to know about synchronization but were afraid to ask. SOSP 2013: 33-48
• 
  Kevin Elphinstone, Gernot Heiser:
  From L3 to seL4 what have we learnt in 20 years of L4 microkernels? SOSP 2013: 133-150
• 
  Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li:
  An analysis of Facebook photo caching. SOSP 2013: 167-181
• 
  Baris Kasikci, Cristian Zamfir, George Candea:
  RaceMob: crowdsourced data race detection. SOSP 2013: 406-422
• 
  Piyus Kedia, Sorav Bansal:
  Fast dynamic binary translation for the kernel. SOSP 2013: 101-115
• 
  Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières:
  Replication, history, and grafting in the Ori file system. SOSP 2013: 151-166
• 
  Iulian Moraru, David G. Andersen, Michael Kaminsky:
  There is more consensus in Egalitarian parliaments. SOSP 2013: 358-372
• 
  Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi:
  Naiad: a timely dataflow system. SOSP 2013: 439-455
• 
  Donald Nguyen, Andrew Lenharth, Keshav Pingali:
  A lightweight infrastructure for graph analytics. SOSP 2013: 456-471
• 
  Ruslan Nikolaev, Godmar Back:
  VirtuOS: an operating system with kernel virtualization. SOSP 2013: 116-132
• 
  Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica:
  Sparrow: distributed, low latency scheduling. SOSP 2013: 69-84
• 
  Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan:
  Timecard: controlling user-perceived delays in server-based mobile applications. SOSP 2013: 85-100
• 
  Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly:
  Dandelion: a compiler and runtime for heterogeneous systems. SOSP 2013: 49-68
• 
  Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel:
  X-Stream: edge-centric graph processing using streaming partitions. SOSP 2013: 472-488
• 
  Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh:
  Consistency-based service level agreements for cloud storage. SOSP 2013: 309-324
• 
  Eno Thereska, Hitesh Ballani, Greg O'Shea, Thomas Karagiannis, Antony I. T. Rowstron, Tom Talpey, Richard Black, Timothy Zhu:
  IOFlow: a software-defined storage architecture. SOSP 2013: 182-196
• 
  Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden:
  Speedy transactions in multicore in-memory databases. SOSP 2013: 18-32
• 
  Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
  Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP 2013: 260-275
• 
  Zev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
  ROOT: replaying multithreaded traces with resource-oriented ordering. SOSP 2013: 373-387
• 
  Zhe Wu, Michael Butkiewicz, Dorian Jean Perkins, Ethan Katz-Bassett, Harsha V. Madhyastha:
  SPANStore: cost-effective geo-replicated storage spanning multiple cloud services. SOSP 2013: 292-308
• 
  Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy:
  Do not blame users for misconfigurations. SOSP 2013: 244-259
• 
  Matei Zaharia, Tathagata Das, Haoyuan Li, Timothy Hunter, Scott Shenker, Ion Stoica:
  Discretized streams: fault-tolerant streaming computation at scale. SOSP 2013: 423-438
• 
  Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li:
  Transaction chains: achieving serializability with low latency in geo-distributed storage systems. SOSP 2013: 276-291

skipping 1 more match