


default search action
19th HotOS 2023: Providence, RI, USA
- 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 - Animesh Trivedi
, Marco Spaziani Brunella
:
CPU-free Computing: A Vision with a Blueprint. 1-14 - Siyao Zhao
, Ali José Mashtizadeh
:
Metal: An Open Architecture for Developing Processor Features. 15-22 - Michael Roitzsch
, Till Miemietz
, Christian von Elm
, Nils Asmussen
:
Software-Defined CPU Modes. 23-29 - Zhihong Luo
, Silvery Fu
, Emmanuel Amaro
, Amy Ousterhout
, Sylvia Ratnasamy
, Scott Shenker
:
Out of Hand for Hardware? Within Reach for Software! 30-37 - Rishabh R. Iyer
, Jiacheng Ma
, Katerina J. Argyraki
, George Candea
, Sylvia Ratnasamy
:
The Case for Performance Interfaces for Hardware Accelerators. 38-45 - Ben Fiedler
, Daniel Schwyn
, Constantin Gierczak-Galle
, David A. Cock
, Timothy Roscoe
:
Putting out the hardware dumpster fire. 46-52 - Michael Wu
, Ketaki Joshi
, Andrew Sheinberg
, Guilherme Cox
, Anurag Khandelwal
, Raghavendra Pradyumna Pothukuchi
, Abhishek Bhattacharjee
:
Prefetching Using Principles of Hippocampal-Neocortical Interaction. 53-60 - Aviad Zuck
, Donald E. Porter
, Dan Tsafrir
:
Degrading Data to Save the Planet. 61-69 - 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. 70-79 - Yuqi Xue
, Yiqi Liu
, Jian Huang
:
System Virtualization for Neural Processing Units. 80-86 - 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? 87-93 - 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. 94-102 - Georgios Liargkovas
, Konstantinos Kallas
, Michael Greenberg
, Nikos Vasilakis
:
Executing Shell Scripts in the Wrong Order, Correctly. 103-109 - Sanjay Ghemawat
, Robert Grandl
, Srdjan Petrovic
, Michael Whittaker
, Parveen Patel
, Ivan Posva
, Amin Vahdat
:
Towards Modern Development of Cloud Applications. 110-117 - Ming Liu
:
Fabric-Centric Computing. 118-126 - Megan Frisella
, Shirley Loayza Sanchez
, Malte Schwarzkopf
:
Towards Increased Datacenter Efficiency with Soft Memory. 127-134 - 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. 135-142 - Farbod Shahinfar
, Sebastiano Miano
, Giuseppe Siracusano
, Roberto Bifulco
, Aurojit Panda
, Gianni Antichi
:
Automatic Kernel Offload Using BPF. 143-149 - Jinghao Jia
, Raj Sahu
, Adam Oswald
, Dan Williams
, Michael V. Le
, Tianyin Xu
:
Kernel extension verification is untenable. 150-157 - Matthias Brun
, Reto Achermann
, Tej Chajed
, Jon Howell
, Gerd Zellweger
, Andrea Lattuada
:
Beyond isolation: OS verification as a foundation for correct applications. 158-165 - Anton Burtsev
, Vikram Narayanan
, Yongzhe Huang
, Kaiming Huang
, Gang Tan
, Trent Jaeger
:
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. 166-173 - Reto Achermann
, Ilias Karimalis
, Margo I. Seltzer
:
Why write address translation OS code yourself when you can synthesize it? 174-180 - Bijan Tabatabai
, Mark Mansi
, Michael M. Swift
:
FBMM: Using the VFS for Extensibility in Kernel Memory Management. 181-187 - Christoph Anneser
, Lukas Vogel
, Ferdinand Gruber
, Maximilian Bandle
, Jana Giceva
:
Programming Fully Disaggregated Systems. 188-195 - Zhenyuan Ruan
, Shihang Li
, Kaiyan Fan
, Marcos K. Aguilera
, Adam Belay
, Seo Jin Park
, Malte Schwarzkopf
:
Unleashing True Utility Computing with Quicksand. 196-205 - Xinhao Kong
, Jiaqi Lou
, Wei Bai
, Nam Sung Kim
, Danyang Zhuo
:
Towards a Manageable Intra-Host Network. 206-213 - Hugo Lefeuvre
, David Chisnall
, Marios Kogias
, Pierre Olivier
:
Towards (Really) Safe and Fast Confidential I/O. 214-222 - Wen Zhang
, Aurojit Panda
, Scott Shenker
:
Access Control for Database Applications: Beyond Policy Enforcement. 223-230 - Charly Castes
, Adrien Ghosn
, Neelu Shivprakash Kalani
, Yuchen Qian
, Marios Kogias
, Mathias Payer
, Edouard Bugnion
:
Creating Trust by Abolishing Hierarchies. 231-238

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.