Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Natarajan Shankar
conf.researchr.org general profile
PLDI 2024 profile
POPL 2018 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
Registered user since Thu 19 Dec 2019
Name:
Natarajan Shankar
Affiliation:
SRI International, USA
Contributions
2024
SOAP
Committee Member in Program Committee within the SOAP 2024-track
PODELSKI
Author of Living inside a Theorem Proving Universe within the PLDI 2024 Workshop Honoring Andreas Podelski-track
2022
VMCAI
Session Chair of Satisfiability Modulo Theories (part of VMCAI 2022)
2021
CPP
Committee Member in Program Committee within the CPP 2021-track
Session Chair of Lightning Talks (part of CPP 2021)
2020
CPP
Author of A Verified Packrat Parser Interpreter for Parsing Expression Grammars within the CPP 2020-track
VMCAI
Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track
Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track
2018
CPP
Author of Proofs in Conflict-Driven Theory Combination within the CPP 2018-track
Session Chair of Verifying Programs and Systems (part of CPP 2018)
Share
x
Tue 17 Jun 10:20