Cyrus Omar designs intelligent user interfaces for modern programming languages.

Cyrus Omar (he/him)
Associate Professor
Computer Science and Engineering
University of Michigan
On sabbatical, 2026–27 🆕
Visiting Fellow
Energy and Environment Group
University of Cambridge
4624 BBB
comar@umich.edu
Bluesky Streamline Icon: https://streamlinehq.com Bluesky
@neurocy.bsky.social
CV

Education

Carnegie Mellon University
PhD, Computer Science
UIUC
BS, Computer Science
BS, Molecular & Cellular Biology

Advising

PhD Students

Research Staff

Masters and Undergraduates

There are 10+ masters and undergraduate researchers in FP Lab — see the FP Lab webpage!

Former Advisees

FP Lab alum also include 200+ undergraduate and MS students, 15 of whom went on to PhD programs!

Service

2026
PLDI PC · PROPL Chair · VL/HCC PC · HATRA PC · LMPL PC · PLMW @ SPLASH Speaker · SPLASH SRC Judge · CSE Course Review Committee
2025
POPL PC · VL/HCC PC · GPCE PC · ML Family Workshop PC · HATRA PC · LIVE PC · CSE Curriculum Innovation Committee
2024
OOPSLA PC · VL/HCC PC · Onward! PC · LIVE PC · SPLASH-E PC · HATRA Publicity Chair · CSE DEI Committee
2023
PLDI PC · ECOOP PC · VL/HCC PC · MWPLS Co-chair · TyDe SC Chair · ECOOP Area Chair (Brave New Ideas and Pearls) · HATRA PC · IFL PC · SPLASH-E PC · SPLASH SRC · PLMW @ ICFP Panelist · CSE DEI Committee · CSE Hosting Committee

For older service roles, refer to my CV.

Awards and Honors

I lead the Future of Programming Lab (FP Lab), part of the vibrant MPLSE research community.
I am on sabbatical at the University of Cambridge for 2026–27, as a Visiting Fellow in the Energy and Environment Group in the Department of Computer Science and Technology and an Associate Scholar at Pembroke College.

Hazel: Live Functional Programming with Typed Holes

Hazel is a new kind of live programming environment that can reason about and run incomplete programs, i.e. programs with holes of various forms. Our publications develop the semantic foundations for live hole-driven development.

Activity

References

POPL 2027
Conditionally
Bidirectional Type Slicing
Max Carroll, Anil Madhavapeddy, Cyrus Omar
SPLASH-E 2026
Proof Interfaces for Exploratory Mathematics
Nishant Kheterpal, Matthew Keenan, Cyrus Omar, Jean-Baptiste Jeannin
OOPSLA 2026
Interactive Data Analysis with Lively Typed Tables
Alexander Bandukwala, Cyrus Omar
OOPSLA 2025
Incremental Bidirectional Typing via Order Maintenance
Thomas J. Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
Distinguished Paper Award
OOPSLA 2025
Syntactic Completions with Material Obligations
David Moon, Andrew Blinn, Thomas J. Porter, Cyrus Omar
PROPL 2025
A FAIR Case for a Live Computational Commons
Cyrus Omar, Michael Coblenz, Anil Madhavapeddy
VL/HCC 2025
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Zhiyao Zhong, Cyrus Omar
POPL 2025
Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus
Michael D. Adams, Eric Griffis, Thomas J. Porter, Sundara Vishnu Satish, Eric Zhao, Cyrus Omar
TFP 2025
Polymorphism with Typed Holes
Adam Chen, Thomas Porter, Cyrus Omar
OOPSLA 2024
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar
PROPL 2024
Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine
Alexander Bandukwala, Andrew Blinn, Cyrus Omar
POPL 2024
Total Type Error Localization and Recovery with Holes
Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar
Distinguished Paper Award
OOPSLA 2023
Live Pattern Matching with Typed Holes
Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
Distinguished Paper Award
Onward! 2022
Contextualized Programming Language Documentation
Hannah Potter, Ardi Madadi, René Just, Cyrus Omar
VL/HCC 2022
An Integrative Human-Centered Architecture for Interactive Programming Assistants
Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar
PLDI 2021
Filling typed holes with live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
ICFP 2020
Program Sketching with Live Bidirectional Evaluation
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
POPL 2019
Live Functional Programming with Typed Holes
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
POPL 2017
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
SNAPL 2017
Toward Semantic Foundations for Program Editors
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
# 1st Jan 2016••hazel, live-programming, typed-holes
Loading recent items...
Ready
↑ ↓ navigate↵ selectESC close