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

• 2023
• 
  Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada:
  Beyond isolation: OS verification as a foundation for correct applications. HotOS 2023: 158-165
• 
  Ruihao Li, Qinzhe Wu, Krishna Kavi, Gayatri Mehta, Neeraja J. Yadwadkar, Lizy K. John:
  NextGen-Malloc: Giving Memory Allocator Its Own Room in the House. HotOS 2023: 135-142
• 
  Reto Achermann, Ilias Karimalis, Margo I. Seltzer:
  Why write address translation OS code yourself when you can synthesize it? HotOS 2023: 174-180
• 
  Christoph Anneser, Lukas Vogel, Ferdinand Gruber, Maximilian Bandle, Jana Giceva:
  Programming Fully Disaggregated Systems. HotOS 2023: 188-195
• 
  Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger:
  Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. HotOS 2023: 166-173
• 
  Charly Castes, Adrien Ghosn, Neelu Shivprakash Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion:
  Creating Trust by Abolishing Hierarchies. HotOS 2023: 231-238
• 
  Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe:
  Putting out the hardware dumpster fire. HotOS 2023: 46-52
• 
  Megan Frisella, Shirley Loayza Sanchez, Malte Schwarzkopf:
  Towards Increased Datacenter Efficiency with Soft Memory. HotOS 2023: 127-134
• 
  Sanjay Ghemawat, Robert Grandl, Srdjan Petrovic, Michael Whittaker, Parveen Patel, Ivan Posva, Amin Vahdat:
  Towards Modern Development of Cloud Applications. HotOS 2023: 110-117
• 
  Cunchen Hu, Chenxi Wang, Sa Wang, Ninghui Sun, Yungang Bao, Jieru Zhao, Sanidhya Kashyap, Pengfei Zuo, Xusheng Chen, Liangliang Xu, Qin Zhang, Hao Feng, Yizhou Shan:
  Skadi: Building a Distributed Runtime for Data Systems in Disaggregated Data Centers. HotOS 2023: 94-102
• 
  Rishabh R. Iyer, Jiacheng Ma, Katerina J. Argyraki, George Candea, Sylvia Ratnasamy:
  The Case for Performance Interfaces for Hardware Accelerators. HotOS 2023: 38-45
• 
  Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu:
  Kernel extension verification is untenable. HotOS 2023: 150-157
• 
  Xinhao Kong, Jiaqi Lou, Wei Bai, Nam Sung Kim, Danyang Zhuo:
  Towards a Manageable Intra-Host Network. HotOS 2023: 206-213
• 
  Hugo Lefeuvre, David Chisnall, Marios Kogias, Pierre Olivier:
  Towards (Really) Safe and Fast Confidential I/O. HotOS 2023: 214-222
• 
  Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis:
  Executing Shell Scripts in the Wrong Order, Correctly. HotOS 2023: 103-109
• 
  Ming Liu:
  Fabric-Centric Computing. HotOS 2023: 118-126
• 
  Zhihong Luo, Silvery Fu, Emmanuel Amaro, Amy Ousterhout, Sylvia Ratnasamy, Scott Shenker:
  Out of Hand for Hardware? Within Reach for Software! HotOS 2023: 30-37
• 
  Michael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen:
  Software-Defined CPU Modes. HotOS 2023: 23-29
• 
  Zhenyuan Ruan, Shihang Li, Kaiyan Fan, Marcos K. Aguilera, Adam Belay, Seo Jin Park, Malte Schwarzkopf:
  Unleashing True Utility Computing with Quicksand. HotOS 2023: 196-205
• 
  Farbod Shahinfar, Sebastiano Miano, Giuseppe Siracusano, Roberto Bifulco, Aurojit Panda, Gianni Antichi:
  Automatic Kernel Offload Using BPF. HotOS 2023: 143-149
• 
  Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath:
  HotGPT: How to Make Software Documentation More Useful with a Large Language Model? HotOS 2023: 87-93
• 
  Bijan Tabatabai, Mark Mansi, Michael M. Swift:
  FBMM: Using the VFS for Extensibility in Kernel Memory Management. HotOS 2023: 181-187
• 
  Animesh Trivedi, Marco Spaziani Brunella:
  CPU-free Computing: A Vision with a Blueprint. HotOS 2023: 1-14
• 
  Michael Wu, Ketaki Joshi, Andrew Sheinberg, Guilherme Cox, Anurag Khandelwal, Raghavendra Pradyumna Pothukuchi, Abhishek Bhattacharjee:
  Prefetching Using Principles of Hippocampal-Neocortical Interaction. HotOS 2023: 53-60
• 
  Yuqi Xue, Yiqi Liu, Jian Huang:
  System Virtualization for Neural Processing Units. HotOS 2023: 80-86
• 
  Juncheng Yang, Ziyue Qiu, Yazhuo Zhang, Yao Yue, K. V. Rashmi:
  FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion. HotOS 2023: 70-79
• 
  Wen Zhang, Aurojit Panda, Scott Shenker:
  Access Control for Database Applications: Beyond Policy Enforcement. HotOS 2023: 223-230
• 
  Siyao Zhao, Ali José Mashtizadeh:
  Metal: An Open Architecture for Developing Processor Features. HotOS 2023: 15-22
• 
  Aviad Zuck, Donald E. Porter, Dan Tsafrir:
  Degrading Data to Save the Planet. HotOS 2023: 61-69
• 
  Malte Schwarzkopf, Andrew Baumann, Natacha Crooks:
  Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023. ACM 2023 [contents]

skipping 490 more matches