Arjun Viswanathan

According to our database, Arjun Viswanathan authored at least 6 papers between 2018 and 2023.

Collaborative distances:

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

2023

An Interactive SMT Tactic in Coq using Abductive Reasoning.

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Formal Verification of Bit-Vector Invertibility Conditions in Coq.

Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the NASA Formal Methods - 14th International Symposium, 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 W. Barrett

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2019

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).

Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

2018

Datatypes with Shared Selectors.

Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018