Abhishek Kr Singh

According to our database, Abhishek Kr Singh authored at least 12 papers between 2017 and 2025.

Collaborative distances:

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

2025

Double Auctions: Formalization and Automated Checkers.

Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh

J. Autom. Reason., September, 2025

2024

Assured Automatic Programming via Large Language Models.

Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury

CoRR, 2024

Decidable Verification under Localized Release-Acquire Concurrency.

Abhishek Kr Singh, Ori Lahav

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

An Operational Approach to Library Abstraction under Relaxed Memory Concurrency.

Abhishek Kr Singh, Ori Lahav

Proc. ACM Program. Lang., January, 2023

2021

Verified Double Sided Auctions for Financial Markets.

Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Formally Verified Trades in Financial Markets.

Suneel Sarswat, Abhishek Kr Singh

Proceedings of the Formal Methods and Software Engineering, 2020

A constructive formalization of the weak perfect graph theorem.

Abhishek Kr Singh, Raja Natarajan

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Formal verification of trading in financial markets.

Suneel Sarswat, Abhishek Kr Singh

CoRR, 2019

Towards a Constructive Formalization of Perfect Graph Theorems.

Abhishek Kr Singh, Raja Natarajan

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2017

An Outline of Separation Logic.

Abhishek Kr Singh, Raja Natarajan

CoRR, 2017

Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem.

Abhishek Kr Singh

CoRR, 2017

Formalization of some central theorems in combinatorics of finite sets.

Abhishek Kr Singh

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017