Suivre
Anish Tondwalkar
Anish Tondwalkar
Adresse e-mail validée de ucsd.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
812017
Finding and Fixing Bugs in Liquid Haskell
A Tondwalkar
University of Virginia, 2016
42016
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
22021
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
mist: Refinements of Futures Past (Artifact)
A Tondwalkar, M Kolosick, R Jhala
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021
2021
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10