Abhishek Kr Singh

Registered user since Thu 28 Nov 2019

Name:Abhishek Kr Singh
Affiliation:Tata Institute of Fundamental Research Mumbai
Research interests:Logic, Automata, Formal verification and Interactive Theorem Proving


POPL 2023 An Operational Approach to Library Abstraction under Relaxed Memory Concurrency
Show activities from other conferences

Using general profile