Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anish Tondwalkar
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2019 profile
POPL 2018 profile
Registered user since Fri 20 Nov 2015
Name:
Anish Tondwalkar
Affiliation:
Google
Personal website:
http://ani.sh
Contributions
2022
ECOOP
Committee Member in Extended Review Committee within the Research Papers-track
2019
ICFP
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
2018
POPL
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
Share
x
Tue 3 Dec 17:58
