Publication
IRONModel: Robust Performance Models in the Wild
Publication
Parallelizing Dynamic Information Flow Tracking
Publication
ProSem: Scalable Wide-Area Publish/Subscribe
Publication
Fair stateless model checking
Publication