USENIX Workshop on Hot Topics in Operating Systems

HotOS

CORE rank

CORE rank (raw)

Fields of research

Distributed Computing and Systems Software

Papers indexed

532

1989–2025

Best Systems and Networking conferences

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
2019	You can't debug what you can't see: Expanding observability with the OmniTable.	Andrew Quinn, Jason Flinn, Michael J. Cafarella
2019	When Should The Network Be The Computer?	Dan R. K. Ports, Jacob Nelson
2019	RedLeaf: Towards An Operating System for Safe and Verified Firmware.	Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev
2019	Nines are Not Enough: Meaningful Metrics for Clouds.	Jeffrey C. Mogul, John Wilkes
2019	Practical Safe Linux Kernel Extensibility.	Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, Thomas E. Anderson
2019	Towards Multiverse Databases.	Alana Marzoev, Lara Timb Arajo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Morris, M. Frans Kaashoek, Sam Madden
2019	Towards Automatic Inference of Inductive Invariants.	Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2019	Comprehensive and Efficient Runtime Checking in System Software through Watchdogs.	Chang Lou, Peng Huang, Scott Smith
2019	What bugs cause production cloud incidents?	Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
2019	Composing Abstractions using the null-Kernel.	James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
2019	Granular Computing.	Collin Lee, John K. Ousterhout
2019	CPR for SSDs.	Bryan S. Kim, Eunji Lee, Sungjin Lee, Sang Lyul Min
2019	Isolation and Beyond: Challenges for System Security.	Tyler Hunt, Zhipeng Jia, Vance Miller, Christopher J. Rossbach, Emmett Witchel
2019	Can We Prove Time Protection?	Gernot Heiser, Gerwin Klein, Toby C. Murray
2019	I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS Abstractions.	Pekka Enberg, Ashwin Rao, Sasu Tarkoma
2019	Project PBerry: FPGA Acceleration for Remote Memory.	Irina Calciu, Ivan Puddu, Aasheesh Kolli, Andreas Nowatzyk, Jayneel Gandhi, Onur Mutlu, Pratap Subrahmanyam
2019	In-Network Compute: Considered Armed and Dangerous.	Theophilus A. Benson
2019	A fork() in the road.	Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe
2019	Rethinking General-Purpose Decentralized Computing.	Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, Bryan Ford
2019	Designing Far Memory Data Structures: Think Outside the Box.	Marcos K. Aguilera, Kimberly Keeton, Stanko Novakovic, Sharad Singhal
2019	Fast key-value stores: An idea whose time has come and gone.	Atul Adya, Robert Grandl, Daniel Myers, Henry Qin
2019	Machine Learning Systems are Stuck in a Rut.	Paul Barham, Michael Isard
2017	Preserving Hidden Data with an Ever-Changing Disk.	Aviad Zuck, Udi Shriki, Donald E. Porter, Dan Tsafrir
2017	The Game of Twenty Questions: Do You Know Where to Log?	Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou
2017	Flash Drive Lifespan is a Problem.	Tao Zhang, Aviad Zuck, Donald E. Porter, Dan Tsafrir

101–125 of 532← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.