Natarajan Shankar -

Registered user since Thu 19 Dec 2019

Name: Natarajan Shankar

Affiliation: SRI International, USA

Contributions

CPP 2021	Committee Member in Program Committee within the CPP 2021-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 2020	Author of A Verified Packrat Parser Interpreter for Parsing Expression Grammars within the CPP 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)