Abhishek Kr Singh

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Financial Markets

Agent Based Modeling

Portfolio Selection

Top Venues

Proc. ACM Program. Lang.

Publications

Abhishek Kr Singh, Ori Lahav
Decidable Verification under Localized Release-Acquire Concurrency. TACAS (3) (2024)
Abhishek Kr Singh, Ori Lahav
An Operational Approach to Library Abstraction under Relaxed Memory Concurrency. Proc. ACM Program. Lang. 7 (POPL) (2023)
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Verified Double Sided Auctions for Financial Markets. CoRR (2021)
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Verified Double Sided Auctions for Financial Markets. ITP (2021)
Abhishek Kr Singh, Raja Natarajan
A constructive formalization of the weak perfect graph theorem. CPP (2020)
Suneel Sarswat, Abhishek Kr Singh
Formally Verified Trades in Financial Markets. ICFEM (2020)
Suneel Sarswat, Abhishek Kr Singh
Formally Verified Trades in Financial Markets. CoRR (2020)
Abhishek Kr Singh, Raja Natarajan
Towards a Constructive Formalization of Perfect Graph Theorems. ICLA (2019)
Suneel Sarswat, Abhishek Kr Singh
Formal verification of trading in financial markets. CoRR (2019)
Abhishek Kr Singh, Raja Natarajan
A Constructive Formalization of the Weak Perfect Graph Theorem. CoRR (2019)
Abhishek Kr Singh, Raja Natarajan
Towards a constructive formalization of Perfect Graph Theorems. CoRR (2018)
Abhishek Kr Singh, Raja Natarajan
An Outline of Separation Logic. CoRR (2017)
Abhishek Kr Singh
Formalization of some central theorems in combinatorics of finite sets. LPAR (Short Presentations) (2017)
Abhishek Kr Singh
Formalization of some central theorems in combinatorics of finite sets. CoRR (2017)
Abhishek Kr Singh
Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem. CoRR (2017)