Follow
Anish Tondwalkar
Anish Tondwalkar
Verified email at ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Refinement reflection: complete verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
932017
Finding and Fixing Bugs in Liquid Haskell
A Tondwalkar
PhD thesis, University of Virginia, 2016
52016
Refinements of futures past: Higher-order specification with implicit refinement types
A Tondwalkar, M Kolosick, R Jhala
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021
32021
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version)
A Tondwalkar, M Kolosick, R Jhala
arXiv preprint arXiv:2105.01954, 2021
12021
Extended Version: Refinement Reflection: Complete Verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
12017
Finding bugs in liquid haskell,-
A Tondwalkar, R Recto, W Weimer, R Jhala
12016
Spin 1/2 quasinormal mode frequencies in Reissner-Nördstrom-AdS spacetime
A Tondwalkar
The system can't perform the operation now. Try again later.
Articles 1–7