Jack Garzella

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.

Jack Garzella
Jack Garzella,
Undergraduate Researcher

School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112



Peer-Reviewed Publications

VMCAI 2020 screenshot

Jack Garzella, Marek Baranowski, Shaobo He, Zvonimir Rakamaric
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