About
madPL is the Programming Languages group at the University of Wisconsin-Madison! We are interested in all aspects of Programming Languages research, including program verification, program synthesis, language design, and software security.
News
- May 26, 2022 — Jordan Henkel successfully passed his Ph.D dissertation defense!
- May 19, 2022 — David Porfirio successfully passed his Ph.D dissertation defense!
- Jan 22, 2022 — Congratulations to Aws Albarghouthi on receiving the Class of 1955 Teaching Excellence Award!
- Mar 5, 2021 — Welcome all prospective students to (virtual) Welcome Weekend 2021! Learn more about madPL here!
- Dec 10, 2020 — Samuel Drews successfully passed his Ph.D dissertation defense!
- Oct 1, 2020 — Three papers were accepted to POPL'21! Congratulations to all!
Graduate Students
Alumni
- David Porfirio — Ph.D, 2022. U.S. Naval Research Laboratory
- Jordan Henkel — Ph.D, 2022. Microsoft
- Jinman Zhao — Ph.D, 2021. Amazon Web Services
- Qinheping Hu — Ph.D, 2021. Amazon Web Services
- Samuel Drews — Ph.D, 2020. Facebook
- Kausik Subramanian — Ph.D, 2020. Google
- Jason Breck — Ph.D, 2020. Google
- David Bingham Brown — Ph.D, 2020.
- Calvin Smith — Ph.D, 2020. UT-Austin
- Venkatesh Srinivasan — Ph.D, 2017. Google
- Tushar Sharma — Ph.D, 2017. Synopsys
- Peter Ohmann — Ph.D, 2017. College of St. Benedict / St. John's University
- Matt Fredrikson — Ph.D, 2015. CMU
- Aditya Thakur — Ph.D, 2014. UC-Davis
- William Harris — Ph.D, 2014. Georgia Inst. of Tech.
- Evan Driscoll — Ph.D, 2013. GrammaTech
- Tristan Ravitch — Ph.D, 2012. Galois
- Piramanayagam Arumuga Nainar — Ph.D, 2012. Google
- Cindy Rubio González — Ph.D, 2012. UC-Davis
- Junghee Lim — Ph.D, 2011. GrammaTech
- Anne Mulhern — Ph.D, 2010. Red Hat
- Akash Lal — Ph.D, 2009. Microsoft
- Nicholas Kidd — Ph.D, 2009. Google
- William Benton — Ph.D, 2008. Red Hat
- Denis Gopan — Ph.D, 2007. GrammaTech
- Gogul Balakrishnan — Ph.D, 2007. Google
- Shai Rubin — Ph.D, 2006. Microsoft
- Alexey Loginov — Ph.D, 2006. GrammaTech
- Suan Hsi Yong — Ph.D, 2004. GrammaTech
- Subramanya Sastry — Ph.D, 2003.
- Raghavan Komondoor — Ph.D, 2003. IISC-Bangalore
- Glenn Ammons — Ph.D, 2003. IBM
- David Melski — Ph.D, 2002. GrammaTech
- Zhichen Xu — Ph.D, 2000. Google
- Eric Schnarr — Ph.D, 2000. Accuray
- Trishul Chilimbi — Ph.D, 1999. Microsoft
- Michael Siff — Ph.D, 1998. Sarah Lawrence College
- Manuvir Das — Ph.D, 1998. NVIDIA
- Satish Chandra — Ph.D, 1997. Facebook
- Guhan Viswanathan — Ph.D, 1996. Google
- Bradley Richards — Ph.D, 1996. University of Puget Sound
- Harish Patil — Ph.D, 1996. Intel
- Steve Kurlander — Ph.D, 1996.
- G. Ramalingam — Ph.D, 1993. Microsoft
- Lorenz Huelsbergen — Ph.D, 1993. CTRL-Labs
- Thomas Ball — Ph.D, 1993. Microsoft
- Todd A. Proebsting — Ph.D, 1992. University of Arizona
- Phil Pfeiffer — Ph.D, 1991. East Tennessee State University
- David Binkley — Ph.D, 1991. Loyola
- Wuu Yang — Ph.D, 1990. National Chiao-Tung University
- G A Venkatesh — Ph.D, 1989.
- William H. Winsborough — Ph.D, 1988.
- Anil Pal — Ph.D, 1983.
- Gregory F. Johnson — Ph.D, 1983.
- Jon Mauney — Ph.D, 1983.
- Vimal Begwami — Ph.D, 1982.
- Mahadevan Ganapathi — Ph.D, 1980. Gana
- Stephen K. Skedzielewski — Ph.D, 1978. Intel
- Bernard A. Dion — Ph.D, 1978. ANSYS
- Bruce R. Rowland — Ph.D, 1977.
- Donn R. Milton — Ph.D, 1977.