Radha Nakade

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 3

Top Topics

Asynchronous Circuits

Top Venues

Innov. Syst. Softw. Eng.

ACM SIGSOFT Softw. Eng. Notes

Publications

Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
Model-checking task-parallel programs for data-race. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
Model-Checking Task Parallel Programs for Data-Race. NFM (2018)
Radha Nakade, Eric Mercer
Verification of Habanero Java Programs using Computation Graphs. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)