Skip to content

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

HotOS papers

532 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2007Compatibility Is Not Transparency: VMM Detection Myths and Realities.Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin
2007Optimizing Power Consumption in Large Scale Storage Systems.Lakshmi Ganesh, Hakim Weatherspoon, Mahesh Balakrishnan, Ken Birman
2007Microdrivers: A New Architecture for Device Drivers.Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
2007End-to-End Web Application Security.lfar Erlingsson, V. Benjamin Livshits, Yinglian Xie
2007Towards a Practical, Verified Kernel.Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
2007Purely Functional System Configuration Management.Eelco Dolstra, Armijn Hemel
2007A Web Based Covert File System.Arati Baliga, Joe Kilian, Liviu Iftode
2007Beyond Bug-Finding: Sound Program Analysis for Linux.Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
2005Parallax: Managing Storage for a Million Machines.Andrew Warfield, Russ Ross, Keir Fraser, Christian Limpach, Steven Hand
2005OS Verification - Now!Harvey Tuch, Gerwin Klein, Gernot Heiser
2005Stupid File Systems Are Better.Lex Stein
2005Why Markets Could (But Don't Currently) Solve Resource Allocation Problems in Systems.Jeffrey Shneidman, Chaki Ng, David C. Parkes, Alvin AuYoung, Alex C. Snoeren, Amin Vahdat, Brent N. Chun
2005Treating Bugs as Allergies: A Safe Method for Surviving Software Failures.Feng Qin, Joseph A. Tucek, Yuanyuan Zhou
2005Aggressive Prefetching: An Idea Whose Time Has Come.Athanasios E. Papathanasiou, Michael L. Scott
2005Operating Systems Should Support Business Change.Jeffrey C. Mogul
2005WiDS: An Integrated Toolkit for Distributed System Development.Shiding Lin, Aimin Pan, Zheng Zhang, Rui Guo, Zhenyu Guo
2005Make Least Privilege a Right (Not a Privilege).Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazires, Robert Morris, Michelle Osborne, Steve Vandebogart, David Ziegler
2005Designing Controllable Computer Systems.Christos T. Karamanolis, Magnus Karlsson, Xiaoyun Zhu
2005Broad New OS Research: Challenges and Opportunities.Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber
2005Are Virtual Machine Monitors Microkernels Done Right?Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Daniel J. Magenheimer
2005Three Research Challenges at the Intersection of Machine Learning, Statistical Induction, and Systems.Moiss Goldszmidt, Ira Cohen, Armando Fox, Steve Zhang
2005When Virtual Is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments.Tal Garfinkel, Mendel Rosenblum
2005Patch (1) Considered Harmful.Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker
2005Making System Configuration More Declarative.John DeTreville
2005PRESTO: A Predictive Storage Architecture for Sensor Networks.Peter Desnoyers, Deepak Ganesan, Huan Li, Ming Li, Prashant J. Shenoy
276300 of 532← PreviousNext →

Comparable venues

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