Natarajan Shankar -

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)