Arjun Viswanathan

Publications

Automating Interactive Theorem Provers and Certifying Automated Theorem Provers
Arjun Viswanathan.
PhD Thesis, Fall 2024

Formal Verification of Bit-vector Invertibility Conditions in Coq
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark Barrett.
International Symposium on Frontiers of Combining Systems (FroCoS) 2023

An Interactive SMT Tactic in Coq using Abductive Reasoning
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark Barrett.
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) 2023

Beyond Model Checking of Idealized Lustre in Kind 2
Daniel Larraz, Arjun Viswanathan, Mickaël Laurent, Cesare Tinelli.
High Integrity Language Technology 2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling.
NASA Formal Methods 2022

Flexible Proof Production in an Industrial-Strength SMT Solver
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark Barrett.
International Joint Conference on Automated Reasoning 2022

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli.
Proof eXchange for Theorem Proving (PxTP) 2019
Awarded the Woody Bledsoe Award for student contributions.

Datatypes with Shared Selectors
Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, and Clark Barrett.
International Joint Conference on Automated Reasoning (IJCAR) 2018