Provably good scheduling for parallel programs that use data structures through implicit batching. - Kunal Agrawal 001; Jeremy T. Fineman; Brendan Sheridan; Jim Sukha; Robert Utterback (PPoPP, 2014)

Provably good scheduling for parallel programs that use data structures through implicit batching. - Kunal Agrawal 001; Jeremy T. Fineman; Kefu Lu; Brendan Sheridan; Jim Sukha; Robert Utterback (SPAA, 2014)

Provably Good and Practically Efficient Parallel Race Detection for Fork-Join Programs. - Robert Utterback; Kunal Agrawal 001; Jeremy T. Fineman; I-Ting Angelina Lee (SPAA, 2016)

Race Detection and Reachability in Nearly Series-Parallel DAGs. - Kunal Agrawal 001; Joseph Devietti; Jeremy T. Fineman; I-Ting Angelina Lee; Robert Utterback; Changming Xu (SODA, 2018)

Efficient race detection with futures. - Robert Utterback; Kunal Agrawal 001; Jeremy T. Fineman; I-Ting Angelina Lee (PPoPP, 2019)

Processor-Oblivious Record and Replay. - Robert Utterback; Kunal Agrawal 001; I-Ting Angelina Lee; Milind Kulkarni 001 (ACM Trans. Parallel Comput., 2019)