• Sign in
  • Sign up
conf.researchr.org / Anish Tondwalkar
  • ECOOP 2022 profile
  • ICFP 2019 profile
  • POPL 2018 profile
Anish Tondwalkar

Registered user since Fri 20 Nov 2015

Name:Anish Tondwalkar
Affiliation:Google
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
xWed 31 May 11:46
using conf.researchr.org (v1.60.0)
Support page
Sign Up