Seguir
Anish Tondwalkar
Anish Tondwalkar
University of California, San Diego
Email confirmado em ucsd.edu - Página inicial
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–6