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.

2027

POPL 2027
Conditionally
Bidirectional Type Slicing
Max Carroll, Anil Madhavapeddy, Cyrus Omar

2026

OOPSLA 2026
Interactive Data Analysis with Lively Typed Tables
Alexander Bandukwala, Cyrus Omar
SPLASH-E 2026
Proof Interfaces for Exploratory Mathematics
Nishant Kheterpal, Matthew Keenan, Cyrus Omar, Jean-Baptiste Jeannin

2025

OOPSLA 2025
Syntactic Completions with Material Obligations
David Moon, Andrew Blinn, Thomas J. Porter, Cyrus Omar
OOPSLA 2025
Incremental Bidirectional Typing via Order Maintenance
Thomas J. Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
Distinguished Paper Award
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
PROPL 2025
A FAIR Case for a Live Computational Commons
Cyrus Omar, Michael Coblenz, Anil Madhavapeddy
Aarhus 2025
Steps towards an Ecology for the Internet
Anil Madhavapeddy, Sam Reynolds, Alec Philip Christie, David A Coomes, Michael Winston Dales, Patrick Ferris, Ryan Thomas Gibb, Hamed Haddadi, Sadiq Jaffer, Josh David Millar, Cyrus Omar, William Sutherland, Jon Crowcroft
VL/HCC 2025
DeckFlow: Iterative Specification on a Multimodal Generative Canvas
Gregory Croisdale, Emily Huang, John Joon Young Chung, Anhong Guo, Xu Wang, Austin Z. Henley, Cyrus Omar
TFP 2025
Polymorphism with Typed Holes
Adam Chen, Thomas Porter, Cyrus Omar

2024

HATRA 2024
Learner-Centered Design Criteria for Classroom Proof Assistants
Matthew Keenan, 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 2024
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar
HOPE 2024
Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
Cyrus Omar, Patrick Ferris, Anil Madhavapeddy

2023

OOPSLA 2023
Live Pattern Matching with Typed Holes
Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
Distinguished Paper Award
VL/HCC 2023
Gradual Structure Editing with Obligations
David Moon, Andrew Blinn, Cyrus Omar

2022

TyDe 2022
tylr: a tiny tile-based structure editor
David Moon, Andrew Blinn, Cyrus Omar
VL/HCC 2022
RustViz: Interactively Visualizing Ownership and Borrowing
Marcelo Almeida, Grant Cole, Ke Du, Gongming Luo, Shulin Pan, Yu Pan, Kai Qiu, Vishnu Reddy, Haochen Zhang, Yingying Zhu, Cyrus Omar
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

2021

PLDI 2021
Filling typed holes with live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh

2020

ICFP 2020
Program Sketching with Live Bidirectional Evaluation
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
HATRA 2020
Hazel Tutor: Guiding Novices Through Type-Driven Development
Hannah Potter, Cyrus Omar

2019

POPL 2019
Live Functional Programming with Typed Holes
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

2018

ICFP 2018
Reasonably programmable literal notation
Cyrus Omar, Jonathan Aldrich

2017

SNAPL 2017
Toward Semantic Foundations for Program Editors
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
POPL 2017
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

2016

GPCE 2016
Programmable semantic fragments: the design and implementation of typy
Cyrus Omar, Jonathan Aldrich

2015

SAC 2015
Composable and hygienic typed syntax macros
Cyrus Omar, Chenglong Wang, Jonathan Aldrich

2014

ECOOP 2014
Safely Composable Type-Specific Languages
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Distinguished Paper Award
ICSE 2014
Collaborative infrastructure for test-driven scientific model validation
Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin
PSP 2014
Statically typed string sanitation inside a python
Nathan Fulton, Cyrus Omar, Jonathan Aldrich
Best Paper Award
IWACO 2014
Language-Based Architectural Control
Jonathan Aldrich, Cyrus Omar, Alex Potanin, Du Li

2013

GlobalDSL 2013
Type-directed, whitespace-delimited parsing for embedded DSLs
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich

2012

J. Neuro. 2012
Neural Correlation Is Stimulus Modulated by Feedforward Inhibitory Circuitry
Jason W. Middleton, Cyrus Omar, Brent Doiron, Daniel J. Simons
ICSE 2012
Active code completion
Cyrus Omar, Young Seok Yoon, Thomas D. LaToza, Brad A. Myers

2010

IJHCI 2010
A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces
Cyrus Omar, Abdullah Akce, Miles Johnson, Timothy Bretl, Rui Ma, Edward Maclin, Martin McCormick, Todd P. Coleman

2008

IJCNN 2008
Shedding weights: More with less
Tsvi Achler, Cyrus Omar, Eyal Amir
ACC 2008
Policies for neural prosthetic control: Initial experiments with a text interface
Cyrus Omar, Miles Johnson, Timothy Bretl, Todd Coleman
ICASSP 2008
Querying the user properly for high-performance brain-machine interfaces: Recursive estimation, control, and feedback information-theoretic perspectives
Cyrus Omar, Miles Johnson, Timothy W. Bretl, Todd P. Coleman
Loading recent items...
Ready
↑ ↓ navigate↵ selectESC close