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)

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. - Jack J. Garzella; Marek S. Baranowski; Shaobo He; Zvonimir Rakamaric (VMCAI, 2020)