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.

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 VL/HCC 2022 paper on RustViz.

News

• POPL 2024

  • Eric Zhao will present our paper Total Type Error Localization and Recovery with Holes at POPL 2024 in January! This is joint work with Raef Maroof, Anand Dukkipati, Andrew Blinn, Zoe (Zhiyi) Pan, ****************************************************************************************************************and Cyrus Omar.

• SPLASH 2023

  • Cyrus Omar will present our paper **************************************Live Pattern Matching with Typed Holes at **********************OOPSLA 2023! This is joint work with Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, and David Moon.

    🎉  This paper was honored with a Distinguished Paper Award!

  • Cyrus Omar presented Totally Live Programming with Hazel (Progress Report) at the HATRA 2023 workshop! This is joint work with Andrew Blinn and David Moon.

• VL/HCC 2023

  • David Moon presented our paper ************Gradual Structure Editing with Obligations at VL/HCC 2023! This is joint work with Andrew Blinn and Cyrus Omar.

• MWPLS 2023

  • Andrew Blinn presented a talk on Type-directed Prompt Construction for LLM-powered Programming Assistants.
  • Hyman Zhao, Alaric Chen, Yue Huang, and Yifan Liu presented a poster on RustViz 2: Automatically and Interactively Visualizing Ownership, Borrowing, and Lifetimes.

• Cyrus was awarded the NSF CAREER Award for leading FP Lab’s ongoing work on Hazel!

• SPLASH 2022

  • Hannah Potter (former MS student in FP Lab, now PhD student at Washington) presented our paper *************************************************Contextualized Programming Language Documentation at the ****************************************************************************************************Onward! Papers ****************************************************************************************************track. (Joint work with Hannah Potter, Ardi Madadi, René Just, and Cyrus Omar)

• VL/HCC 2022

  • Cyrus Omar presented our full paper RustViz: Interactively Visualizing Ownership and Borrowing. This is joint work with the all-undergraduate team (in alphabetical order) of Marcelo Almeida, Grant Cole, Ke Du, Gongming Luo, Shulin Pan, Yu Pan, Kai Qiu, Vishnu Reddy, Haochen Zhang, Yingying Zhu.
  • Andrew Blinn presented our short paper An Integrative Human-Centered Architecture for Interactive Programming Assistants. This is joint work with David Moon, Eric Griffis, and Cyrus Omar.

• ICFP 2022

  • David Moon presented our full paper tylr: A Tiny Tile-Based Structure Editor at the TyDe workshop on Sunday! (joint work with Andrew Blinn and Cyrus Omar)

  🎉 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!

Older News

People

Active Members

Former Members

Collaborators

Community

• FP Lab is part of the vibrant MPLSE (Michigan Programming Languages and Software Engineering) research community.