Natarajan Shankar -

Registered user since Thu 19 Dec 2019

Name: Natarajan Shankar

Affiliation: SRI International, USA

Contributions

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)