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
512017
Finding and Fixing Bugs in Liquid Haskell
A Tondwalkar
University of Virginia, 2016
32016
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
mist: Refinements of Futures Past (Artifact)
A Tondwalkar, M Kolosick, R Jhala
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021
2021
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
2021
Extended Version: Refinement Reflection: Complete Verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
2017
Spin 1/2 quasinormal mode frequencies in Reissner-Nördstrom-AdS spacetime
A Tondwalkar
Towards Complete Specification and Verification with SMT
N VAZOU, A TONDWALKAR, V CHOUDHURY, R SCOTT, N RYAN, ...
Profiling benchmarks to characterize the failures for approximate memory
A Tondwalkar, H Li
Finding Bugs in Liquid Haskell
A Tondwalkar, R Recto, W Weimer, R Jhala
The system can't perform the operation now. Try again later.
Articles 1–10