2018

  1. Race Detection and Reachability in Nearly Series-Parallel DAGs Agrawal, Kunal, Devietti, Joseph, Fineman, Jeremy T., Lee, I-Ting Angelina, Utterback, Robert, and Xu, Changming In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms 2018

2017

  1. Processor-Oblivious Record and Replay Utterback, Robert, Agrawal, Kunal, Lee, I-Ting Angelina, and Kulkarni, Milind In Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2017

2016

  1. Provably Good and Practically Efficient Parallel Race Detection for Fork-Join Programs Utterback, Robert, Agrawal, Kunal, Fineman, Jeremy T., and Lee, I-Ting Angelina In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures 2016

2014

  1. Provably Good Scheduling for Parallel Programs That Use Data Structures Through Implicit Batching Agrawal, Kunal, Fineman, Jeremy T., Lu, Kefu, Sheridan, Brendan, Sukha, Jim, and Utterback, Robert In Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures 2014