Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection
.
2011. Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Making Programs Forget: Enforcing Lifetime for Sensitive Data
.
2011. Making Programs Forget: Enforcing Lifetime for Sensitive Data. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Debug Determinism: The Sweet Spot for {Replay-Based} Debugging
.
2011. Debug Determinism: The Sweet Spot for {Replay-Based} Debugging. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
{Non-Deterministic} Parallelism Considered Useful
.
2011. {Non-Deterministic} Parallelism Considered Useful. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Finding Concurrency Errors in Sequential {Code—OS-level}, In-vivo Model Checking of Process Races
.
2011. Finding Concurrency Errors in Sequential {Code—OS-level}, In-vivo Model Checking of Process Races. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
The Case for {Power-Agile} Computing
.
2011. The Case for {Power-Agile} Computing. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Mobile Apps: It's Time to Move Up to {CondOS}
.
2011. Mobile Apps: It's Time to Move Up to {CondOS}. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Free Lunch: Exploiting Renewable Energy for Computing
.
2011. Free Lunch: Exploiting Renewable Energy for Computing. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
{Disk-Locality} in Datacenter Computing Considered Irrelevant
.
2011. {Disk-Locality} in Datacenter Computing Considered Irrelevant. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Optimizing Data Partitioning for {Data-Parallel} Computing
.
2011. Optimizing Data Partitioning for {Data-Parallel} Computing. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).