FP Lab at the University of Michigan designs next-generation user interfaces for modern programming languages. Our research runs the methodological gamut, ranging from type-theoretic foundations through to human-centered design. We are particularly interested in applications to computer science education, accessibility, computational and data science, formal verification, and computational creativity.
FP Lab is the academic home of Hazel, a live functional programming environment that is able to understand, manipulate, and even run incomplete programs, i.e. programs with holes.
We are also working on program visualization techniques for a powerful and elegant systems programming language called Rust.
FP Lab and friends will present our work at SPLASH 2023 this fall!
FP Lab and friends presented our work at SPLASH 2022 in Auckland, New Zealand December!
FP Lab presented two papers at VL/HCC 2022 in Rome in September!
FP Lab members presented work at ICFP 2022 in Ljubljana in September!
π Eric Zhao, Yanjun Chen, and Hilbert Chen were awarded 2nd place in the undergraduate category at the ICFP 2022 SRC for their work on Compiling Programs with Holes!
FP Lab and friends presented work at SPLASH 2021 in Chicago in October!
Fifteen(!) FP Lab members are moving on to great things this fall! [Aug 2021]
π Michael D. Adams will be starting as a tenure-track assistant professor at Yale-NUS!
π Hannah Potter will be starting a PhD program at the University of Washington!
π Siyuan He will be starting a PhD program at Purdue University!
π Yuning Wang will be starting a PhD program at Rutgers University!
π The following students are moving on to fantastic MS programs or industry positions!
Anand Dukkipati, Cory Laban, Dibyadarshi Dash, Erin Deutschman, Kevin Chen, Marcelo Almeida, Mengjing Xu, Utkarsh Mehta, Vishnu Reddy, Yingying Zhu, Zhiyi Pan
Yanjun Chen won 3rd place in the ICFP 2021 Student Research Competition (undergraduate category) for his work on developing An Interactive Stepper for Expressions with Holes! [Aug 2021]
PLDI 2021 accepted our paper Filling Typed Holes with Live GUIs! [Jun 2021]
β See hazel.org for the link and more details