Automated Debugging for Arbitrarily Long Executions
.
2013. Automated Debugging for Arbitrarily Long Executions. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Global Authentication in an Untrustworthy World
.
2013. Global Authentication in an Untrustworthy World. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
{-OVERIFY}: Optimizing Programs for Fast {Verification}
.
2013. {-OVERIFY}: Optimizing Programs for Fast {Verification}. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Toward Principled Browser Security
.
2013. Toward Principled Browser Security. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Towards Elastic Operating Systems
.
2013. Towards Elastic Operating Systems. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Using Dark Fiber to Displace Diesel Generators
.
2013. Using Dark Fiber to Displace Diesel Generators. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
The Case for Tiny Tasks in Compute Clusters
.
2013. The Case for Tiny Tasks in Compute Clusters. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Wanted: Systems Abstractions for {SDN}
.
2013. Wanted: Systems Abstractions for {SDN}. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
When Cycles Are Cheap, Some Tables Can Be Huge
.
2013. When Cycles Are Cheap, Some Tables Can Be Huge. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
{Large-Scale} Computation Not at the Cost of Expressiveness
.
2013. {Large-Scale} Computation Not at the Cost of Expressiveness. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).