| 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 | 84 | 2017 |
| Finding and Fixing Bugs in Liquid Haskell A Tondwalkar PhD thesis, University of Virginia, 2016 | 4 | 2016 |
| mist: Refinements of Futures Past (Artifact) A Tondwalkar, M Kolosick, R Jhala Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021 | 3 | 2021 |
| 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 | 1 | 2021 |
| Extended Version: Refinement Reflection: Complete Verification with SMT N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ... | 1 | 2017 |
| Finding bugs in liquid haskell,- A Tondwalkar, R Recto, W Weimer, R Jhala | 1 | 2016 |
| 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 | | |
