Abhishek Kr Singh

Orcid: 0000-0002-2760-5419

Affiliations:
  • Tata Institute of Fundamental Research (TIFR), Mumbai, India


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
2
1
1
2
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Double Auctions: Formalization and Automated Checkers.
CoRR, 2024

Assured Automatic Programming via Large Language Models.
CoRR, 2024

Decidable Verification under Localized Release-Acquire Concurrency.
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.
Proc. ACM Program. Lang., January, 2023

2021
Verified Double Sided Auctions for Financial Markets.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020
Formally Verified Trades in Financial Markets.
Proceedings of the Formal Methods and Software Engineering, 2020

A constructive formalization of the weak perfect graph theorem.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
Formal verification of trading in financial markets.
CoRR, 2019

Towards a Constructive Formalization of Perfect Graph Theorems.
Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2017
An Outline of Separation Logic.
CoRR, 2017

Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem.
CoRR, 2017

Formalization of some central theorems in combinatorics of finite sets.
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017


  Loading...