A. Tondwalkar, M. Kolosick, and R. Jhala. Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP 2021. [ PDF | Extended ]
N. Vazou, A. Tondwalkar, V. Choudhury, R. Scott, R. Newton, P. Wadler, and R. Jhala. Refinement Reflection: Complete Verification with SMT. Principles of Programming Languages 2018. [ PDF ]
A. Tondwalkar. Finding and Fixing Bugs in Liquid Haskell. Masters’ Thesis. University of Virginia, 2016. [ PDF ]
C. L. Siefring, A. Tondwalkar, S. E. McDonald, J. D. Huba, J. Krall, J. T. Emmert, D. P. Drob, J. Lean, and P. A. Bernhardt. Comparisons of the NRL SAMI3 Physics-Based Ionospheric Model with Global Ionosonde and GPS Electron Density Measurements. In American Geophysical Union Fall Meeting Abstracts, volume 1, page 3981, 2014. [abs]
C. L. Siefring, A. Tondwalkar, S. E. McDonald, J. D. Huba, J. Krall, P. A. Bernhardt, J. T. Emmert, D. P. Drob, and J. Lean. Comparisons of the NRL SAMI3 Physics-Based Ionospheric Model with Global Ionosonde, GPS, and COSMIC Electron Density Measurements during Solar Cycles 23 and 24. In American Geophysical Union Fall Meeting Abstracts, volume 1, page 1998, 2013. [abs]
C. L. Siefring, A. Tondwalkar, S. E. McDonald, J. D. Huba, J. Krall, P. A. Bernhardt, J. T. Emmert, D. P. Drob, J. Lean, and G. R. Joyce. Comparisons of the NRL SAMI3 Physics-Based Ionospheric Model with Global Ionosonde, GPS, and COSMIC Electron Density Measurements during Solar Cycles 23 and 24. In American Geophysical Union Fall Meeting Abstracts, volume 1, page 2191, 2012. [abs]
C. L. Siefring, A. Tondwalkar, J. D. Huba, J. Krall, P. A. Bernhardt, S. E. McDonald, J. T. Emmert, D. P. Drob, J. Lean, and G. R. Joyce. Comparisons of the NRL SAMI3 Physics-Based Ionospheric Model with Global Ionosonde, GPS, and COSMIC Electron Density Measurements. In American Geophysical Union Fall Meeting Abstracts, volume 1, page 1859, 2011. [abs]