default search action
Cyrus Omar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar:
Statically Contextualizing Large Language Models with Typed Holes. Proc. ACM Program. Lang. 8(OOPSLA2): 468-498 (2024) - [j6]Eric Zhao
, Raef Maroof
Total Type Error Localization and Recovery with Holes. Proc. ACM Program. Lang. 8(POPL): 2041-2068 (2024) - [i6]Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar:
Statically Contextualizing Large Language Models with Typed Holes. CoRR abs/2409.00921 (2024) - 2023
- [j5]Yongwei Yuan
Live Pattern Matching with Typed Holes. Proc. ACM Program. Lang. 7(OOPSLA1): 609-635 (2023) - [c22]David Moon, Andrew Blinn
Gradual Structure Editing with Obligations. VL/HCC 2023: 71-81 - 2022
- [c21]David Moon, Andrew Blinn
tylr: a tiny tile-based structure editor. TyDe@ICFP 2022: 28-37 - [c20]Hannah Potter
Contextualized Programming Language Documentation. Onward! 2022: 1-15 - [c19]Marcelo Almeida, Grant Cole, Ke Du
RustViz: Interactively Visualizing Ownership and Borrowing. VL/HCC 2022: 1-10 - [c18]Andrew Blinn
An Integrative Human-Centered Architecture for Interactive Programming Assistants. VL/HCC 2022: 1-5 - 2021
- [c17]Cyrus Omar
Filling typed holes with live GUIs. PLDI 2021: 511-525 - 2020
- [j4]Justin Lubin
Program sketching with live bidirectional evaluation. Proc. ACM Program. Lang. 4(ICFP): 109:1-109:29 (2020) - [e1]James McKinna, Cyrus Omar:
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020. ACM 2020, ISBN 978-1-4503-8051-5 [contents] - [i5]Gongming Luo, Vishnu Reddy, Marcelo Almeida, Yingying Zhu, Ke Du, Cyrus Omar:
RustViz: Interactively Visualizing Ownership and Borrowing. CoRR abs/2011.09012 (2020)
2010 – 2019
- 2019
- [j3]Cyrus Omar, Ian Voysey
Live functional programming with typed holes. Proc. ACM Program. Lang. 3(POPL): 14:1-14:32 (2019) - [i4]Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh:
Program Synthesis with Live Bidirectional Evaluation. CoRR abs/1911.00583 (2019) - 2018
- [j2]Cyrus Omar, Jonathan Aldrich
Reasonably programmable literal notation. Proc. ACM Program. Lang. 2(ICFP): 106:1-106:32 (2018) - [i3]Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer:
Live Functional Programming with Typed Holes. CoRR abs/1805.00155 (2018) - 2017
- [c16]Cyrus Omar, Ian Voysey
Hazelnut: a bidirectionally typed structure editor calculus. POPL 2017: 86-99 - [c15]Cyrus Omar, Ian Voysey, Michael Hilton
Toward Semantic Foundations for Program Editors. SNAPL 2017: 11:1-11:12 - [i2]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. CoRR abs/1703.08694 (2017) - 2016
- [c14]Cyrus Omar, Jonathan Aldrich
Programmable semantic fragments: the design and implementation of typy. GPCE 2016: 81-92 - [i1]Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR abs/1607.04180 (2016) - 2015
- [c13]Cyrus Omar, Chenglong Wang, Jonathan Aldrich
Composable and hygienic typed syntax macros. SAC 2015: 1986-1991 - 2014
- [c12]Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin
Safely Composable Type-Specific Languages. ECOOP 2014: 105-130 - [c11]Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin
Type-specific languages to fight injection attacks. HotSoS 2014: 18 - [c10]Cyrus Omar, Jonathan Aldrich
Collaborative infrastructure for test-driven scientific model validation. ICSE Companion 2014: 524-527 - [c9]Nathan Fulton, Cyrus Omar, Jonathan Aldrich
Statically typed string sanitation inside a python. PSP 2014: 3-10 - 2013
- [c8]Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP 2013: 8-11 - [c7]Cyrus Omar:
Structured statistical syntax tree prediction. SPLASH (Companion Volume) 2013: 113-114 - 2012
- [c6]Cyrus Omar
Active code completion. ICSE 2012: 859-869 - [c5]Cyrus Omar
Active type-checking and translation. SPLASH 2012: 113-114 - 2011
- [j1]Cyrus Omar
A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces. Int. J. Hum. Comput. Interact. 27(1): 5-23 (2011) - [c4]Cyrus Omar
Active code completion. VL/HCC 2011: 261-262
2000 – 2009
- 2008
- [c3]Cyrus Omar
Policies for neural prosthetic control: Initial experiments with a text interface. ACC 2008: 4161-4166 - [c2]Cyrus Omar
Querying the user properly for high-performance brain-machine interfaces: Recursive estimation, control, and feedback information-theoretic perspectives. ICASSP 2008: 5216-5219 - [c1]Tsvi Achler, Cyrus Omar
Shedding weights: More with less. IJCNN 2008: 3020-3027
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 19:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: