Publication
Access Control in a World of Software Diversity
Publication
Modular verification of multithreaded programs
Publication
Root Cause Localization in Large Scale Systems
Publication
Revocable Locks for Non-Blocking Programming
Publication