USENIX Workshop on Hot Topics in Operating Systems
HotOS
A
CORE rank
CORE rank (raw)
A
Fields of research
Distributed Computing and Systems Software
Papers indexed
532
1989–2025
Papers per year
198954 peak2025
Most published authors
HotOS papers
532 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2025 | Leveraging Software Fault Tolerance for Longer Flash Hardware Lifespan. | Aviad Zuck, Rob Johnson, Donald E. Porter, Dan Tsafrir |
| 2025 | Rethinking RPC Communication for Microservices-based Applications. | Xiangfeng Zhu, Yang Zhou, Yuyao Wang, Xiangyu Gao, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, Danyang Zhuo |
| 2025 | My CXL Pool Obviates Your PCIe Switch. | Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon |
| 2025 | Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers. | Jiyuan Zhang, Jongyul Kim, Chloe Alverti, Peizhe Liu, Weiwei Jia, Tianyin Xu |
| 2025 | The NIC should be part of the OS. | Pengcheng Xu, Timothy Roscoe |
| 2025 | Spork: A posix_spawn you can use as a fork. | Manuel Vgele, Christopher Thomas, Timo Hnig |
| 2025 | Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory. | Musa Unal, Vishal Gupta, Yueyang Pan, Yujie Ren, Sanidhya Kashyap |
| 2025 | Contextual Agent Security: A Policy for Every Purpose. | Lillian Tsai, Eugene Bagdasarian |
| 2025 | How I learned to stop worrying and love learned OS policies. | Divyanshu Saxena, Jiayi Chen, Sujay Yadalam, Yeonju Ro, Rohit Dwivedula, Eric Hayden Campbell, Aditya Akella, Christopher J. Rossbach, Michael Swift |
| 2025 | Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark. | Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo |
| 2025 | Designing a Datacenter-wide Distributed Shared Log. | Micah Murray, Wen Zhang, Aisha Mushtaq, Natacha Crooks, Aurojit Panda, Scott Shenker |
| 2025 | Guillotine: Hypervisors for Isolating Malicious AIs. | James Mickens, Sarah Radway, Ravi Netravali |
| 2025 | Modular, Full-System Verification. | Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey |
| 2025 | Apiary: An OS for the Modern FPGA. | Katie Lim, Matthew Giordano, Irene Zhang, Baris Kasikci, Thomas E. Anderson |
| 2025 | Stop Taking the Scenic Route: the Shortest Distance Between the CPU and the NIC is MMIO. | Wei Siew Liew, Md Ashfaqur Rahaman, James Patrick Mcmahon, Ryan Stutsman, Vijay Nagarajan |
| 2025 | Granular Resource Demand Heterogeneity. | Yizhuo Liang, Ramesh Govindan, Seo Jin Park |
| 2025 | Storage Class Memory is Dead, All Hail Managed-Retention Memory: Rethinking Memory for the AI Era. | Sergey Legtchenko, Ioan A. Stefanovici, Richard Black, Antony I. T. Rowstron, Junyi Liu, Paolo Costa, Burcu Canakci, Dushyanth Narayanan, Xingbo Wu |
| 2025 | From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. | Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis |
| 2025 | Analyzing Metastable Failures. | Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | Serve Programs, Not Prompts. | In Gim, Lin Zhong |
| 2025 | Real Life Is Uncertain. Consensus Should Be Too! | Reginald Frank, Octavio Lomeli, Neil Giridharan, Soujanya Ponnapalli, Marcos K. Aguilera, Natacha Crooks |
| 2025 | Towards ML System Extensibility. | Weixin Deng, Andy Ruan, Megan Frisella, Kai-Hsun Chen, SangBin Cho, Jack Tigar Humphries, Rui Qiao, Stephanie Wang |
| 2025 | The Case for Energy Clarity. | Fan Chung, Henry Kuo, George Candea |
| 2025 | Towards Resource-Efficient Compound AI Systems. | Gohar Irfan Chaudhry, Esha Choukse, igo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini |
| 2025 | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. | Charly Castes, Franois Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
1–25 of 532← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*INFOCOMIEEE International Conference on Computer Communications
- A*WWWInternational World Wide Web Conference
- AICDCSInternational Conference on Distributed Computing Systems
- A*SIGCOMMACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
- A*MOBICOMACM International Conference on Mobile Computing and Networking
- ADSNIEEE/IFIP International Conference on Dependable Systems and Networks
- AICWSIEEE International Conference on Web Services
- A*PODCACM Symposium on Principles of Distributed Computing