6 results on '"Steve Zdancewic"'
Search Results
2. From C to interaction trees: specifying, verifying, and testing a networked server.
3. Verifying dynamic race detection.
4. Mechanized Verification of Computing Dominators for Formalizing Compilers.
5. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023
6. CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.