Race Detection and Reachability in Nearly Series-Parallel DAGs

Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, and Changming Xu. “Race detection and reachability in nearly series-parallel dags.” ACM-SIAM SODA ‘18.