Uploads
Contact
/
Login
Upload
Search Results for 'Koushik'
Asserting and Checking Determinism for Multithreaded P
tatyana-admore
Separating Functional and Parallel Correctness using Nondeterministic Sequential Specications
myesha-ticknor
CUTE A Concolic Unit Testing Engine for C Koushik Sen Darko Marinov Gul Agha Department
cheryl-pisano