Verification of Habanero Java Programs using Computation Graphs. - Radha Nakade; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2015)

Model-Checking Task Parallel Programs for Data-Race. - Radha Nakade; Eric Mercer; Peter Aldous; Jay McCarthy (NFM, 2018)

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)