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

• 2015
• 
  Andrew Baumann, Marcus Peinado, Galen C. Hunt:
  Shielding Applications from an Untrusted Cloud with Haven. ACM Trans. Comput. Syst. 33(3): 8:1-8:26 (2015)
• 2014
• 
  Juan Fang, Aleksandra Vuckovic, Sujay Galen, Bernard A. Conway, Kenneth J. Hunt:
  Erratum to: Foot trajectory approximation using the pendulum model of walking. Medical Biol. Eng. Comput. 52(5): 509 (2014)
• 
  Andrew Baumann, Marcus Peinado, Galen C. Hunt:
  Shielding Applications from an Untrusted Cloud with Haven. OSDI 2014: 267-283
• 
  Galen C. Hunt:
  Experiences in the land of virtual abstractions. VEE 2014: 1-2
• 2013
• 
  Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt:
  Composing OS extensions safely and efficiently with Bascule. EuroSys 2013: 239-252
• 2011
• 
  Kinshuman Kinshumann, Kirk Glerum, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt:
  Debugging in the (very) large: ten years of implementation and experience. Commun. ACM 54(7): 111-116 (2011)
• 
  Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt:
  Rethinking the library OS from the top down. ASPLOS 2011: 291-304
• 2010
• 
  James R. Larus, Galen C. Hunt:
  The Singularity system. Commun. ACM 53(8): 72-79 (2010)
• 
  A. J. Bernheim Brush, Amy K. Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen C. Hunt, Mike Sinclair, Kerry Hammil, Steven Levi:
  User experiences with activity-based navigation on mobile devices. Mobile HCI 2010: 73-82
• 
  Galen C. Hunt:
  Looking beyond a singularity. VEE 2010: 37-38
• 2009
• 
  Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt:
  Debugging in the (very) large: ten years of implementation and experience. SOSP 2009: 103-116
• 
  Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt:
  Helios: heterogeneous multiprocessing with satellite kernels. SOSP 2009: 221-234
• 2007
• 
  Galen C. Hunt, James R. Larus:
  Singularity: rethinking the software stack. ACM SIGOPS Oper. Syst. Rev. 41(2): 37-49 (2007)
• 
  Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber:
  Sealing OS processes to improve dependability and safety. EuroSys 2007: 341-354
• 
  Galen C. Hunt:
  Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA. USENIX Association 2007 [contents]
• 2006
• 
  Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus:
  Deconstructing process isolation. Memory System Performance and Correctness 2006: 1-10
• 
  Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi:
  Language support for fast and reliable message-based communication in singularity OS. EuroSys 2006: 177-190
• 
  Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi:
  Solving the starting problem: device drivers as self-describing artifacts. EuroSys 2006: 45-57
• 2005
• 
  Leonidas I. Kontothanassis, Robert Stets, Galen C. Hunt, Umit Rencuzogullari, Gautam Altekar, Sandhya Dwarkadas, Michael L. Scott:
  Shared memory computing on clusters with symmetric multiprocessors and system area networks. ACM Trans. Comput. Syst. 23(3): 301-335 (2005)
• 
  Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber:
  Broad New OS Research: Challenges and Opportunities. HotOS 2005
• 1999
• 
  Robert Stets, Galen C. Hunt, Michael L. Scott:
  Component-Based APIs for Versioning and Distributed Applications. Computer 32(7): 54-61 (1999)
• 
  Galen C. Hunt, Michael L. Scott:
  Intercepting and Instrumenting COM Applications. COOTS 1999: 45-56
• 
  Galen C. Hunt, Michael L. Scott:
  The Coign Automatic Distributed Partitioning System. OSDI 1999: 187-200
• 1998
• 
  Galen C. Hunt, Michael L. Scott:
  A guided tour of the Coign automatic distributed partitioning system. EDOC 1998: 252-262
• 1997
• 
  Leonidas I. Kontothanassis, Galen C. Hunt, Robert Stets, Nikos Hardavellas, Michal Cierniak, Srinivasan Parthasarathy, Wagner Meira Jr., Sandhya Dwarkadas, Michael L. Scott:
  VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks. ISCA 1997: 157-169
• 
  Robert Stets, Sandhya Dwarkadas, Nikos Hardavellas, Galen C. Hunt, Leonidas I. Kontothanassis, Srinivasan Parthasarathy, Michael L. Scott:
  Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network. SOSP 1997: 170-183
• 1996
• 
  Galen C. Hunt, Maged M. Michael, Srinivasan Parthasarathy, Michael L. Scott:
  An Efficient Algorithm for Concurrent Priority Queue Heaps. Inf. Process. Lett. 60(3): 151-157 (1996)
• 
  Galen C. Hunt, Randal C. Nelson:
  Lineal Feature Extraction by Parallel Stick Growing. IRREGULAR 1996: 171-182