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 2018 Refinement Reflection: Complete Verification with SMT
Refinement Reflection: Complete Verification with SMT
Show activities from other conferences

POPL 2018-profile
View general profile