Not registered as user yet

Name:Prakash Saivasan
Affiliation:The Institute of Mathematical Sciences, India

Contributions

POPL 2021 Author of Deciding Reachability under Persistent x86-TSO within the POPL-track