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.
News
-
FP Lab will present our work at SPLASH 2023 this October!
- 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.
- Cyrus Omar will present Totally Live Programming with Hazel (Progress Report) at the HATRA 2023 workshop! This is joint work with Andrew Blinn and David Moon.
-
David Moon will present our paper ************Gradual Structure Editing with Obligations at VL/HCC 2023! This is joint work with Andrew Blinn and Cyrus Omar.
-
Cyrus was awarded the NSF CAREER Award for leading FP Lab’s ongoing work on Hazel!
-
FP Lab and friends presented our work at SPLASH 2022 in Auckland, New Zealand December!
- 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)
-
FP Lab presented two papers at VL/HCC 2022 in Rome in September!
- 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.
-
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 our work at SPLASH 2021 in Chicago in October!
- David Moon presented his ongoing work on Restructuring Structure Editing at the LIVE workshop on Tuesday
- Cyrus Omar presented 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) presented 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
-
PLDI 2021 accepted our paper Filling Typed Holes with Live GUIs! [Jun 2021]
→ See hazel.org for the link and more details
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.