conf.researchr.org / Anish Tondwalkar
Anish Tondwalkar

Registered user since Fri 20 Nov 2015

Name:Anish Tondwalkar
Affiliation:Google
Personal website:http://ani.sh

Contributions

ECOOP 2022 Committee Member in Extended Review Committee within the Research Papers-track
ICFP 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018 Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track