Abhishek Kr Singh

18 papers B 2C 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Double Auctions: Formalization and Automated Checkers.
J. Autom. Reason.
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh
2024 J jnl
Assured Automatic Programming via Large Language Models.
CoRR
Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury
2024 — conf
Decidable Verification under Localized Release-Acquire Concurrency.
TACAS (3)
Abhishek Kr Singh, Ori Lahav
2024 J jnl
Double Auctions: Formalization and Automated Checkers.
CoRR
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh
2023 J jnl
An Operational Approach to Library Abstraction under Relaxed Memory Concurrency.
Proc. ACM Program. Lang.
Abhishek Kr Singh, Ori Lahav
2021 B conf
Verified Double Sided Auctions for Financial Markets.
ITP
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
2021 J jnl
Verified Double Sided Auctions for Financial Markets.
CoRR
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
2020 B conf
A constructive formalization of the weak perfect graph theorem.
CPP
Abhishek Kr Singh, Raja Natarajan
2020 C conf
Formally Verified Trades in Financial Markets.
ICFEM
Suneel Sarswat, Abhishek Kr Singh
2020 J jnl
Formally Verified Trades in Financial Markets.
CoRR
Suneel Sarswat, Abhishek Kr Singh
2019 J jnl
A Constructive Formalization of the Weak Perfect Graph Theorem.
CoRR
Abhishek Kr Singh, Raja Natarajan
2019 J jnl
Formal verification of trading in financial markets.
CoRR
Suneel Sarswat, Abhishek Kr Singh
2019 — conf
Towards a Constructive Formalization of Perfect Graph Theorems.
ICLA
Abhishek Kr Singh, Raja Natarajan
2018 J jnl
Towards a constructive formalization of Perfect Graph Theorems.
CoRR
Abhishek Kr Singh, Raja Natarajan
2017 J jnl
An Outline of Separation Logic.
CoRR
Abhishek Kr Singh, Raja Natarajan
2017 — conf
Formalization of some central theorems in combinatorics of finite sets.
LPAR (Short Presentations)
Abhishek Kr Singh
2017 J jnl
Formalization of some central theorems in combinatorics of finite sets.
CoRR
Abhishek Kr Singh
2017 J jnl
Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem.
CoRR
Abhishek Kr Singh