Stateless model checking concurrent programs with maximal causality reduction.

Jeff Huang

Browse the full PLDI paper archive.