Policies for neural prosthetic control: Initial experiments with a text interface. - Cyrus Omar; Miles Johnson; Timothy Bretl; Todd P. Coleman (ACC, 2008)

Querying the user properly for high-performance brain-machine interfaces: Recursive estimation, control, and feedback information-theoretic perspectives. - Cyrus Omar; Miles Johnson; Timothy Bretl; Todd P. Coleman (ICASSP, 2008)

Shedding weights: More with less. - Tsvi Achler; Cyrus Omar; Eyal Amir (IJCNN, 2008)

Active code completion. - Cyrus Omar; YoungSeok Yoon; Thomas D. LaToza; Brad A. Myers (VL/HCC, 2011)

A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces. - Cyrus Omar; Abdullah Akce; Miles Johnson; Timothy Bretl; Rui Ma 002; Edward L. Maclin; Martin McCormick; Todd P. Coleman (Int. J. Hum. Comput. Interact., 2011)

Active type-checking and translation. - Cyrus Omar (SPLASH, 2012)

Type-directed, whitespace-delimited parsing for embedded DSLs. - Cyrus Omar; Benjamin Chung; Darya Kurilova; Alex Potanin; Jonathan Aldrich (GlobalDSL@ECOOP, 2013)

Structured statistical syntax tree prediction. - Cyrus Omar (SPLASH (Companion Volume), 2013)

Safely Composable Type-Specific Languages. - Cyrus Omar; Darya Kurilova; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (ECOOP, 2014)

Type-specific languages to fight injection attacks. - Darya Kurilova; Cyrus Omar; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (HotSoS, 2014)

Collaborative infrastructure for test-driven scientific model validation. - Cyrus Omar; Jonathan Aldrich; Richard C. Gerkin (ICSE Companion, 2014)

Statically typed string sanitation inside a python. - Nathan Fulton; Cyrus Omar; Jonathan Aldrich (PSP, 2014)

Composable and hygienic typed syntax macros. - Cyrus Omar; Chenglong Wang; Jonathan Aldrich (SAC, 2015)

Programmable semantic fragments: the design and implementation of typy. - Cyrus Omar; Jonathan Aldrich (GPCE, 2016)

Hazelnut: a bidirectionally typed structure editor calculus. - Cyrus Omar; Ian Voysey; Michael Hilton; Jonathan Aldrich; Matthew A. Hammer (POPL, 2017)

Toward Semantic Foundations for Program Editors. - Cyrus Omar; Ian Voysey; Michael Hilton; Joshua Sunshine; Claire Le Goues; Jonathan Aldrich; Matthew A. Hammer (SNAPL, 2017)

Reasonably programmable literal notation. - Cyrus Omar; Jonathan Aldrich (Proc. ACM Program. Lang., 2018)

Program Synthesis with Live Bidirectional Evaluation. - Justin Lubin; Nick Collins; Cyrus Omar; Ravi Chugh (CoRR, 2019)

Live functional programming with typed holes. - Cyrus Omar; Ian Voysey; Ravi Chugh; Matthew A. Hammer (Proc. ACM Program. Lang., 2019)

RustViz: Interactively Visualizing Ownership and Borrowing. - Gongming Luo; Vishnu Reddy; Marcelo Almeida; Yingying Zhu; Ke Du 002; Cyrus Omar (CoRR, 2020)

Program sketching with live bidirectional evaluation. - Justin Lubin; Nick Collins; Cyrus Omar; Ravi Chugh (Proc. ACM Program. Lang., 2020)

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

tylr: a tiny tile-based structure editor. - David Moon; Andrew Blinn; Cyrus Omar (TyDe@ICFP, 2022)

Contextualized Programming Language Documentation. - Hannah Potter; Ardi Madadi; René Just; Cyrus Omar (Onward!, 2022)

RustViz: Interactively Visualizing Ownership and Borrowing. - Marcelo Almeida; Grant Cole; Ke Du 002; Gongming Luo; Shulin Pan; Yu Pan; Kai Qiu; Vishnu Reddy; Haochen Zhang; Yingying Zhu; Cyrus Omar (VL/HCC, 2022)

An Integrative Human-Centered Architecture for Interactive Programming Assistants. - Andrew Blinn; David Moon; Eric Griffis; Cyrus Omar (VL/HCC, 2022)

Gradual Structure Editing with Obligations. - David Moon; Andrew Blinn; Cyrus Omar (VL/HCC, 2023)

Live Pattern Matching with Typed Holes. - Yongwei Yuan; Scott Guest; Eric Griffis; Hannah Potter; David Moon; Cyrus Omar (Proc. ACM Program. Lang., 2023)

Polymorphism with Typed Holes. - Adam Chen; Thomas Porter; Cyrus Omar (TFP, 2024)

Statically Contextualizing Large Language Models with Typed Holes. - Andrew Blinn; Xiang Li; June Hyung Kim; Cyrus Omar (Proc. ACM Program. Lang., 2024)

Total Type Error Localization and Recovery with Holes. - Eric Zhao 006; Raef Maroof; Anand Dukkipati; Andrew Blinn; Zhiyi Pan 004; Cyrus Omar (Proc. ACM Program. Lang., 2024)

Artifact for Statically Contextualizing Large Language Models with Typed Holes. - Andrew Blinn; Xiang Li; June Hyung Kim; Cyrus Omar (Zenodo, 2024)

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus. - Michael D. Adams 001; Eric Griffis; Thomas Porter; Sundara Vishnu Satish; Eric Zhao 006; Cyrus Omar (Proc. ACM Program. Lang., 2025)

Incremental Bidirectional Typing via Order Maintenance. - Thomas Porter; Marisa Kirisame; Ivan Wei; Pavel Panchekha; Cyrus Omar (CoRR, 2025)

Steps towards an Ecology for the Internet. - Anil Madhavapeddy; Sam Reynolds; Alec P. Christie; David A. Coomes; Michael W. Dales; Patrick Ferris; Ryan Gibb; Hamed Haddadi; Sadiq Jaffer; Josh Millar; Cyrus Omar; William J. Sutherland; et al. (CoRR, 2025)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations. - Zhiyao Zhong; Cyrus Omar (CoRR, 2025)

DeckFlow: Iterative Specification on a Multimodal Generative Canvas. - Gregory Thomas Croisdale; Emily Huang; John Joon Young Chung; Anhong Guo; Xu Wang 016; Austin Z. Henley; Cyrus Omar (CoRR, 2025)