Anish Tondwalkar -

Registered user since Fri 20 Nov 2015

Name: Anish Tondwalkar

Affiliation: UCSD

Personal website: http://ani.sh

Contributions

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