Cyrus Omar

According to our database, Cyrus Omar authored at least 31 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Total Type Error Localization and Recovery with Holes.

Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar

Proc. ACM Program. Lang., January, 2024

Statically Contextualizing Large Language Models with Typed Holes.

Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar

Proc. ACM Program. Lang., 2024

Polymorphism with Typed Holes.

Adam Chen, Thomas Porter, Cyrus Omar

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2023

Live Pattern Matching with Typed Holes.

Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar

Proc. ACM Program. Lang., April, 2023

Gradual Structure Editing with Obligations.

David Moon, Andrew Blinn, Cyrus Omar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

An Integrative Human-Centered Architecture for Interactive Programming Assistants.

Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 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

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

Contextualized Programming Language Documentation.

Hannah Potter, Ardi Madadi, René Just, Cyrus Omar

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

tylr: a tiny tile-based structure editor.

David Moon, Andrew Blinn, Cyrus Omar

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

2021

Filling typed holes with live GUIs.

Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Program sketching with live bidirectional evaluation.

Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh

Proc. ACM Program. Lang., 2020

RustViz: Interactively Visualizing Ownership and Borrowing.

Gongming Luo, Vishnu Reddy, Marcelo Almeida, Yingying Zhu, Ke Du, Cyrus Omar

CoRR, 2020

2019

Live functional programming with typed holes.

Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

Proc. ACM Program. Lang., 2019

Program Synthesis with Live Bidirectional Evaluation.

Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh

CoRR, 2019

2018

Reasonably programmable literal notation.

Cyrus Omar, Jonathan Aldrich

Proc. ACM Program. Lang., 2018

2017

Toward Semantic Foundations for Program Editors.

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Hazelnut: a bidirectionally typed structure editor calculus.

Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Programmable semantic fragments: the design and implementation of typy.

Cyrus Omar, Jonathan Aldrich

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015

Composable and hygienic typed syntax macros.

Cyrus Omar, Chenglong Wang, Jonathan Aldrich

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Statically typed string sanitation inside a python.

Nathan Fulton, Cyrus Omar, Jonathan Aldrich

Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

Collaborative infrastructure for test-driven scientific model validation.

Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin

Proceedings of the 36th International Conference on Software Engineering, 2014

Type-specific languages to fight injection attacks.

Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Safely Composable Type-Specific Languages.

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Structured statistical syntax tree prediction.

Cyrus Omar

Proceedings of the SPLASH'13, 2013

Type-directed, whitespace-delimited parsing for embedded DSLs.

Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

2012

Active type-checking and translation.

Cyrus Omar

Proceedings of the SPLASH'12, 2012

2011

A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces.

Cyrus Omar, Abdullah Akce, Miles Johnson, Timothy Bretl, Rui Ma, Edward L. Maclin, Martin McCormick, Todd P. Coleman

Int. J. Hum. Comput. Interact., 2011

Active code completion.

Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

2008

Shedding weights: More with less.

Tsvi Achler, Cyrus Omar, Eyal Amir

Proceedings of the International Joint Conference on Neural Networks, 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

Proceedings of the IEEE International Conference on Acoustics, 2008

Policies for neural prosthetic control: Initial experiments with a text interface.

Cyrus Omar, Miles Johnson, Timothy Bretl, Todd P. Coleman

Proceedings of the American Control Conference, 2008