• Sign in
  • Sign up
conf.researchr.org / Natarajan Shankar
  • PLDI 2024 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

2024

SOAP

  • Committee Member in Program Committee within the SOAP 2024-track

PODELSKI

  • Author of Living inside a Theorem Proving Universe within the PLDI 2024 Workshop Honoring Andreas Podelski-track

2022

VMCAI

  • Session Chair of Satisfiability Modulo Theories (part of VMCAI 2022)

2021

CPP

  • Committee Member in Program Committee within the CPP 2021-track
  • Session Chair of Lightning Talks (part of CPP 2021)

2020

CPP

  • Author of A Verified Packrat Parser Interpreter for Parsing Expression Grammars within the CPP 2020-track

VMCAI

  • 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

2018

CPP

  • 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
xTue 17 Jun 10:20
using conf.researchr.org (v1.69.0)
Support page
Sign Up