Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
94
79
h-index
3
3
i10-index
1
1
0
18
9
2018
2019
2020
2021
2022
2023
2024
15
18
11
16
18
9
7
Offentlig åtkomst
Visa alla
Visa alla
2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Följ
Anish Tondwalkar
University of California, San Diego
Verifierad e-postadress på ucsd.edu -
Startsida
Artiklar
Citeras av
Offentlig åtkomst
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
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
4
2016
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen