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

• 2003
• 
  Marcos Kawazoe Aguilera, Jeffrey C. Mogul, Janet L. Wiener, Patrick Reynolds, Athicha Muthitacharoen:
  Performance debugging for distributed systems of black boxes. SOSP 2003: 74-89
• 
  Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, Florentina I. Popovici:
  Transforming policies into mechanisms with infokernel. SOSP 2003: 90-105
• 
  Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield:
  Xen and the art of virtualization. SOSP 2003: 164-177
• 
  J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer:
  Capriccio: scalable threads for internet services. SOSP 2003: 268-281
• 
  Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh:
  SplitStream: high-bandwidth multicast in cooperative environments. SOSP 2003: 298-313
• 
  Landon P. Cox, Brian D. Noble:
  Samsara: honor among thieves in peer-to-peer storage. SOSP 2003: 120-132
• 
  Dawson R. Engler, Ken Ashcraft:
  RacerX: effective, static detection of race conditions and deadlocks. SOSP 2003: 237-252
• 
  Yun Fu, Jeffrey S. Chase, Brent N. Chun, Stephen Schwab, Amin Vahdat:
  SHARP: an architecture for secure resource peering. SOSP 2003: 133-148
• 
  Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh:
  Terra: a virtual machine-based platform for trusted computing. SOSP 2003: 193-206
• 
  Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung:
  The Google file system. SOSP 2003: 29-43
• 
  P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan:
  Measurement, modeling, and analysis of a peer-to-peer file-sharing workload. SOSP 2003: 314-329
• 
  Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek:
  Decentralized user authentication in a global file system. SOSP 2003: 60-73
• 
  Samuel T. King, Peter M. Chen:
  Backtracking intrusions. SOSP 2003: 223-236
• 
  Dejan Kostic, Adolfo Rodriguez, Jeannie R. Albrecht, Amin Vahdat:
  Bullet: high bandwidth data dissemination using an overlay mesh. SOSP 2003: 282-297
• 
  David Lie, Chandramohan A. Thekkath, Mark Horowitz:
  Implementing an untrusted operating system on trusted hardware. SOSP 2003: 178-192
• 
  Ratul Mahajan, Neil T. Spring, David Wetherall, Thomas E. Anderson:
  User-level internet path diagnosis. SOSP 2003: 106-119
• 
  Petros Maniatis, David S. H. Rosenthal, Mema Roussopoulos, Mary Baker, Thomas J. Giuli, Yanto Muliadi:
  Preserving peer replicas by rate-limited sampled voting. SOSP 2003: 44-59
• 
  Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, Tim Stack:
  Upgrading transport protocols using untrusted mobile code. SOSP 2003: 1-14
• 
  R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney:
  Model-carrying code: a practical approach for safe execution of untrusted applications. SOSP 2003: 15-28
• 
  Michael M. Swift, Brian N. Bershad, Henry M. Levy:
  Improving the reliability of commodity operating systems. SOSP 2003: 207-222
• 
  Jian Yin, Jean-Philippe Martin, Arun Venkataramani, Lorenzo Alvisi, Michael Dahlin:
  Separating agreement from execution for byzantine fault tolerant services. SOSP 2003: 253-267
• 
  Wanghong Yuan, Klara Nahrstedt:
  Energy-efficient soft real-time CPU scheduling for mobile multimedia systems. SOSP 2003: 149-163
• 
  Michael L. Scott, Larry L. Peterson:
  Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003. ACM 2003, ISBN 1-58113-757-5 [contents]