Arjun Viswanathan

Orcid: 0009-0005-4464-8807

Affiliations:
  • University of Iowa, Iowa City, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An Interactive SMT Tactic in Coq using Abductive Reasoning.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Formal Verification of Bit-Vector Invertibility Conditions in Coq.
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Flexible Proof Production in an Industrial-Strength SMT Solver.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2019
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).
Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

2018
Datatypes with Shared Selectors.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018


  Loading...