conf.researchr.org / Neeraj Suri

Not registered as user yet

Name: Neeraj Suri

Contributions

SPIN 2019Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track
ISSTA 2019Author of Assessing the State and Improving the Art of Parallel Testing for C within the Technical Papers-track
SEPS 2016Committee Member in Program Committee within the SEPS-track