Welcome Reception
.
2007. Welcome Reception. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
- Read more about Welcome Reception
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Towards a Practical, Verified Kernel
.
2007. Towards a Practical, Verified Kernel. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Beyond {Bug-Finding}: Sound Program Analysis for Linux
.
2007. Beyond {Bug-Finding}: Sound Program Analysis for Linux. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
{MashupOS}: Operating System Abstractions for Client Mashups
.
2007. {MashupOS}: Operating System Abstractions for Client Mashups. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications
.
2007. Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
{End-to-End} Web Application Security
.
2007. {End-to-End} Web Application Security. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Session: 4-Minute Madness
.
2007. Session: 4-Minute Madness. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Purely Functional System Configuration Management
.
2007. Purely Functional System Configuration Management. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Processor Hardware Counter Statistics as a {First-Class} System Resource
.
2007. Processor Hardware Counter Statistics as a {First-Class} System Resource. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).