Saurabh Joshi
Saurabh Joshi
Home
Projects
Publications
Teaching
Students
Program Analysis
Distributed Generalized Dynamic Barrier Synchronization
Static assertion checking of open programs requires setting up a precise harness to capture the environment assumptions. For instance, a library may require a file handle to be properly initialized before it is passed into it. A harness is used to …
«
Cite
×