POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Anish Tondwalkar
Anish Tondwalkar

Registered user since Fri 20 Nov 2015

Name: Anish Tondwalkar

Affiliation: UCSD

Personal website: http://ani.sh

Contributions

POPL 2018Author 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
Show activities from other conferences

POPL 2018-profile
View general profile