I'm a research scholar in the Department of Computer Science & Engineering, IIT Delhi. I work in Program Analysis and Verification.
-
Intel India Pvt. Ltd.
- Bengaluru, India
- https://www.cse.iitd.ac.in/~sanjana/
Popular repositories Loading
-
rinspect
rinspect PublicForked from rinspect/rinspect
Tools for dynamically verifying programs under TSO/PSO memory model
C++
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.