HotOS

Publications

2023

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

2021