Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Prakash Saivasan
conf.researchr.org general profile
ATVA 2025 profile
ICLA 2027 profile
PLDI 2024 profile
POPL 2021 profile
POPL 2026 profile
Not registered as user
Name:
Prakash Saivasan
Affiliation:
The Institute of Mathematical Sciences, India
Contributions
2027
ICLA
Committee Member in Programme Committee
2026
POPL
Author of Parametrised Verification of Intel-x86 Programs within the POPL-track
Author of Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures within the POPL-track
2025
ATVA
PC Member in Programme Committee
2024
PLDI
Author of Verification under Intel-x86 with Persistency within the PLDI Research Papers-track
2021
POPL
Author of Deciding Reachability under Persistent x86-TSO within the POPL-track
Share
x
Sat 24 Oct 22:56