Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. - Kyle Storey; Sheridan Jacob Powell; Benjamin Ogles; Joshua Hooker; Peter Aldous; Eric Mercer (LCPC, 2018)

Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. - Benjamin Ogles; Peter Aldous; Eric Mercer (FMCAD, 2019)

Model-checking task-parallel programs for data-race. - Radha Nakade; Eric Mercer; Peter Aldous; Kyle Storey; Benjamin Ogles; Joshua Hooker; Sheridan Jacob Powell; Jay McCarthy (Innov. Syst. Softw. Eng., 2019)

JPF-HJ: A Tool for Task Parallel Program Analysis. - Joshua Hooker; Peter Aldous; Eric Mercer; Benjamin Ogles; Kyle Storey; Sheridan Jacob Powell (ACM SIGSOFT Softw. Eng. Notes, 2019)

A Predictive Analysis for Detecting Deadlock in MPI Programs. - Yu Huang; Benjamin Ogles; Eric Mercer (ASE, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression. - Yu Huang; Tao Wang; Zihui Yin; Eric Mercer; Benjamin Ogles (IEEE Trans. Parallel Distributed Syst., 2023)