Jack J. Garzella

According to our database, Jack J. Garzella authored at least 2 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.

Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2016

On the Solvability of the Discrete Conductivity and Schrödinger Inverse Problems.

Justin Boyer, Jack J. Garzella, Fernando Guevara Vasquez

SIAM J. Appl. Math., 2016