Radha Nakade

According to our database, Radha Nakade authored at least 3 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

2018

Model-Checking Task Parallel Programs for Data-Race.

Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2015

Verification of Habanero Java Programs using Computation Graphs.

Radha Nakade, Eric Mercer

ACM SIGSOFT Softw. Eng. Notes, 2015