Folgen
Anish Tondwalkar
Anish Tondwalkar
University of California, San Diego
Bestätigte E-Mail-Adresse bei ucsd.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
842017
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
4*2021
Finding and Fixing Bugs in Liquid Haskell
A Tondwalkar
PhD thesis, University of Virginia, 2016
42016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6