Search Results for 'koushik'

koushik published presentations and documents on DocSlides.

Separating Functional and Parallel Correctness using Nondeterministic Sequential Specications Jacob Burnim George Necula and Koushik Sen Department of Computer Science University of California Berkel

by myesha-ticknor

berkeleyedu Abstract Writing correct explicitlypar...

CUTE A Concolic Unit Testing Engine for C Koushik Sen Darko Marinov Gul Agha Department of Computer Science University of Illinois at UrbanaChampaign ksenmarinovagha cs

by cheryl-pisano

uiucedu ABSTRACT In unit testing a program is dec...

Asserting and Checking Determinism for Multithreaded P

by tatyana-admore

berkeleyedu Koushik Sen EECS Department UC Berkele...