Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Natarajan Shankar
conf.researchr.org general 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
VMCAI 2022
Session Chair of Satisfiability Modulo Theories (part of VMCAI 2022)
CPP 2021
Committee Member in Program Committee within the CPP 2021-track
Session Chair of Lightning Talks (part of CPP 2021)
CPP 2020
Author of A Verified Packrat Parser Interpreter for Parsing Expression Grammars within the CPP 2020-track
VMCAI 2020
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
CPP 2018
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
Sun 2 Apr 05:34