FP Lab at the University of Michigan designs next-generation user interfaces for next-generation 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, and computational creativity.

Projects

Hazel

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.

• Go to hazel.org for more information, papers, and live demos of the many research projects housed within the Hazel research platform.

RustViz: Interactively Visualizing Ownership and Borrowing

We are also working on program visualization techniques for a powerful and elegant systems programming language called Rust.

• Read our HATRA Workshop paper about RustViz.

News

• FP Lab and friends will be at SPLASH in Chicago in October!

  • David Moon will be presenting his ongoing work on Restructuring Structure Editing at the LIVE workshop on Tuesday
  • Cyrus Omar will be presenting our PLDI 2021 paper on Filling Typed Holes with Live GUIs at a SIGPLAN Papers session on Thursday at 2:35pm in Zurich F
  • Justin Lubin (Berkeley) will be presenting our joint ICFP 2020 paper on Program Sketching with Live Bidirectional Evaluation at a SIGPLAN Papers session on Thursday at 11:20am in Zurich E
  • Andrew Blinn, Eric Griffis, and Johnson He will be attending SPLASH as well — ask Andrew for a demo of the Hazel Assistant, and Eric for a demo of collaborative structure editing!

• Fifteen(!) FP Lab members are moving on to great things this fall! [26 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 Student Research Competition (undergraduate category) for his work on developing An Interactive Stepper for Expressions with Holes! [25 Aug 2021]

• PLDI 2021 accepted our paper Filling Typed Holes with Live GUIs! [17 Jun 2021]

  → See hazel.org for the link and more details

• HATRA Workshop at SPLASH 2020 hosted two presentations by FP Lab students! [18 Nov 2020]

  🎉 Hannah Potter presented our paper about Hazel Tutor!

  🎉 Vishnu Reddy presented our paper about RustViz!

• ICFP 2020 hosted presentations on three projects involving FP Lab members! [26 Aug 2020]

  🎉 Justin Lubin (UChicago) presented our paper Program Sketching with Live Bidirectional Evaluation!

  🎉 Zhiyi Pan presented her work on Type Hole Inference at the ICFP Student Research Competition, winning Third Place in the undergraduate category!

  🎉 Yongwei Yuan presented his work on Pattern Matching with Typed Holes at the ICFP Student Research Competition!

• Two FP Lab members will be moving on to PhD programs in the fall! [1 Jun 2020]

  🎉 Yongwei Yuan will be starting a PhD program at Purdue University!

  🎉 Ke Du will be starting a PhD program at University of Illinois Chicago!

People

Active Members