HotOS A

30 papers

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