Abhishek Kr Singh
Postdoctoral ResearcherSchool of Computing at NUS, Singapore.Email: abhishek.uor@gmail.com Professional Links: LinkedIn DBLP GoogleScholar ORCID
I am a postdoctoral researcher, hosted by Prof. Abhik Roy Choudhary, in the Automated Program Repair group in the School of Computing at NUS, Singapore. Prior to this, I was a postdoctoral researcher, hosted by Prof. Ori Lahav, in the School of Computer Science at Tel Aviv Univeristy. I did my PhD (in Computer Science) from TIFR Mumbai under the esteemed supervision of Prof. Raja Natarajan. Between my PhD and Postdoc, I briefly worked as a faculty member at BITS Pilani Goa.
Research interests
I primarily work in areas of Programming Languages, Software Engineering, Formal Methods, and Trustworthy Artificial Intelligence. My current research is aimed at solving some concrete problems at the intersection of Formal Program Semantics, Relaxed Memory Concurrency, Theorem Proving, Automated Reasoning, and Program Synthesis .
Services
Artifact Evaluation (PC): POPL 2024, PLDI 2024, OOPLSA 2024, ICFP 2024, TACAS 2024, ICFP 2023.
Paper Reviewing (PC / External): iFM 2024 (PC), ICALP 2024, JAR 2022, SETTA 2017, SETTA 2016.
Publications
Decidable Verification under Localized Release-Acquire Concurrency
Abhishek Singh, Ori Lahav.
TACAS 2024 [paper][extended]An Operational Approach to Library Abstraction under Relaxed Memory Concurrency.
Abhishek Singh, Ori Lahav.
POPL 2023 [paper][extended][talk]Verified Double Sided Auctions for Financial Markets.
Raja Natarajan, Suneel Saraswat, Abhishek Singh.
ITP 2021 [paper]Formally Verified Trades in Financial Markets.
Suneel Saraswat, Abhishek Singh.
ICFEM 2020 [paper]A Constructive Formalization of the Weak Perfect Graph Theorem.
Abhishek Singh, Raja Natarajan.
CPP 2020 [paper] [talk]Towards a constructive formalization of Perfect Graph Theorems.
Abhishek Singh, Raja Natarajan.
ICLA 2019 [paper]Formalization of some central theorems in combinatorics of finite sets.
Abhishek Singh.
LPAR 2017 (In IWIL Workshop and LPAR Short Presentations) [paper]
Technical Reports
Formalizing Finite Set Combinatorics in Type Theory.
PhD Thesis, TIFR Mumbai, 2020. [pdf]Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism.
Reading Project, TIFR Mumbai, 2015. [pdf]Wavelet Based Embedded Coding for Images.
MTech Thesis, IIT Kharagpur, 2009. [pdf]