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:
UCSD
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
Share
x
Fri 28 Jan 23:09
