Fundamentals of Aerodynamics
A Taxonomy of Race Detection Algorithms
Debugging Concurrent Programs
On Weak Learning
Determining Possible Event Orders by Analyzing Sequential Traces
TraceViewer
Tracking Drifting Concepts by Minimizing Disagreements
Computing Reachable States of Parallel Programs
Computational Learning Theory
Detecting Data Races by Analyzing Sequential Traces
Analyzing Traces with Anonymous Synchronization
Learning Integer Lattices
A Survey of Debugging Tools for Concurrent Programs
Learning Nested Differences of Intersection Closed Concept Classes
Applications of Parallel Scheduling to Perfect Graphs
A Taxonomy of Race Conditions
How to Use Expert Advice