I'm a compiler engineer at Google, working to harmonize the state of machine learning compiler intermediate representations. Before Google, I was a PhD Candidate with Ranjit Jhala.
I spend most of my time outside work trying to find excuses to move tiny marks around on pieces of paper.
You can reach me at anish.tondwalkar@gmail.com
Past Projects:
A. Tondwalkar, M. Kolosick, and R. Jhala. Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP 2021.
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.
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.
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.
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.