Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
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
Veřejný přístup
Zobrazit všechny
Zobrazit všechny
2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Sledovat
Anish Tondwalkar
University of California, San Diego
E-mailová adresa ověřena na: ucsd.edu -
Domovská stránka
Články
Citace
Veřejný přístup
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–6
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě