Cyrus Omar

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 19

Top Topics

Functional Programming

Semantically Meaningful

Quantifier Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar
Total Type Error Localization and Recovery with Holes. Proc. ACM Program. Lang. 8 (POPL) (2024)
Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
Live Pattern Matching with Typed Holes. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
David Moon, Andrew Blinn, Cyrus Omar
Gradual Structure Editing with Obligations. VL/HCC (2023)
Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar
An Integrative Human-Centered Architecture for Interactive Programming Assistants. VL/HCC (2022)
Marcelo Almeida, Grant Cole, Ke Du, Gongming Luo, Shulin Pan, Yu Pan, Kai Qiu, Vishnu Reddy, Haochen Zhang, Yingying Zhu, Cyrus Omar
RustViz: Interactively Visualizing Ownership and Borrowing. VL/HCC (2022)
David Moon, Andrew Blinn, Cyrus Omar
tylr: a tiny tile-based structure editor. TyDe@ICFP (2022)
Hannah Potter, Ardi Madadi, René Just, Cyrus Omar
Contextualized Programming Language Documentation. Onward! (2022)
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
Filling typed holes with live GUIs. PLDI (2021)
Gongming Luo, Vishnu Reddy, Marcelo Almeida, Yingying Zhu, Ke Du, Cyrus Omar
RustViz: Interactively Visualizing Ownership and Borrowing. CoRR (2020)
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
Program sketching with live bidirectional evaluation. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live functional programming with typed holes. Proc. ACM Program. Lang. 3 (POPL) (2019)
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
Program Synthesis with Live Bidirectional Evaluation. CoRR (2019)
Cyrus Omar, Jonathan Aldrich
Reasonably programmable literal notation. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live Functional Programming with Typed Holes. CoRR (2018)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. SNAPL (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. CoRR (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: a bidirectionally typed structure editor calculus. POPL (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR (2016)
Cyrus Omar, Jonathan Aldrich
Programmable semantic fragments: the design and implementation of typy. GPCE (2016)
Cyrus Omar, Chenglong Wang, Jonathan Aldrich
Composable and hygienic typed syntax macros. SAC (2015)
Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin
Collaborative infrastructure for test-driven scientific model validation. ICSE Companion (2014)
Nathan Fulton, Cyrus Omar, Jonathan Aldrich
Statically typed string sanitation inside a python. PSP (2014)
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Type-specific languages to fight injection attacks. HotSoS (2014)
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Safely Composable Type-Specific Languages. ECOOP (2014)
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP (2013)
Cyrus Omar
Structured statistical syntax tree prediction. SPLASH (Companion Volume) (2013)
Cyrus Omar
Active type-checking and translation. SPLASH (2012)
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers
Active code completion. ICSE (2012)
Cyrus Omar, Abdullah Akce, Miles Johnson, Timothy Bretl, Rui Ma, Edward L. Maclin, Martin McCormick, Todd P. Coleman
A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces. Int. J. Hum. Comput. Interact. 27 (1) (2011)
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers
Active code completion. VL/HCC (2011)
Cyrus Omar, Miles Johnson, Timothy Bretl, Todd P. Coleman
Querying the user properly for high-performance brain-machine interfaces: Recursive estimation, control, and feedback information-theoretic perspectives. ICASSP (2008)
Cyrus Omar, Miles Johnson, Timothy Bretl, Todd P. Coleman
Policies for neural prosthetic control: Initial experiments with a text interface. ACC (2008)
Tsvi Achler, Cyrus Omar, Eyal Amir
Shedding weights: More with less. IJCNN (2008)