I am an undergraduate student in the School of Computing at the University of Utah working on the SMACK software verifier and testing of physics libraries.
I am an undergraduate student in the School of Computing at the University of Utah working on the SMACK software verifier and testing of physics libraries.
Contact
jjgarzella@gmail.com
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2020