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.