• Sign in
  • Sign up
conf.researchr.org / Natarajan Shankar
  • 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
xSun 2 Apr 05:34
using conf.researchr.org (v1.60.0)
Support page
Sign Up