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.

RustViz: Interactively Visualizing Ownership and Borrowing

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

Deckflow

We are developing DeckFlow, an infinite canvas for multimodal generative AI that helps end users specify their intent more precisely and granularly using visual dataflow affordances.

ChatLSP

LLMs are powerful code synthesizers, but they often hallucinate incorrect code because they lack access to the appropriate code context. We are working on integrating language servers with LLMs to better contextualize AI code completion systems.

News

Older News