Cyrus Omar - RankMe

49 papers A* 3A 1B 8C 1Misc 2Journal 22Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Incremental Live Programming via Shortcut Memoization. CoRR Marisa Kirisame, Thomas Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha
2025	J	`jnl`	DeckFlow: Iterative Specification on a Multimodal Generative Canvas. CoRR Gregory Thomas Croisdale, Emily Huang, John Joon Young Chung, Anhong Guo, Xu Wang, Austin Z. Henley, Cyrus Omar
2025	B	`conf`	DeckFlow: Specification Decomposition on a Multimodal Generative Canvas. VL/HCC Gregory Thomas Croisdale, Emily Huang, John Joon Young Chung, Anhong Guo, Xu Wang, Austin Z. Henley, Cyrus Omar
2025	J	`jnl`	Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus. Proc. ACM Program. Lang. Michael D. Adams, Eric Griffis, Thomas Porter, Sundara Vishnu Satish, Eric Zhao, Cyrus Omar
2025	B	`conf`	Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations. VL/HCC Zhiyao Zhong, Cyrus Omar
2025	J	`jnl`	Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations. CoRR Zhiyao Zhong, Cyrus Omar
2025	J	`jnl`	Incremental Bidirectional Typing via Order Maintenance. CoRR Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
2025	J	`jnl`	Incremental Bidirectional Typing via Order Maintenance. Proc. ACM Program. Lang. Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
2025	J	`jnl`	Steps towards an Ecology for the Internet. CoRR 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, Jon Crowcroft
2025	—	`conf`	Steps towards an Ecology for the Internet: Computing through crisis into the next decade of growth. Aarhus Conference 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 J. Sutherland, Jon Crowcroft
2025	J	`jnl`	Syntactic Completions with Material Obligations. CoRR David Moon, Andrew Blinn, Thomas Porter, Cyrus Omar
2025	J	`jnl`	Syntactic Completions with Material Obligations. Proc. ACM Program. Lang. David Moon, Andrew Blinn, Thomas Porter, Cyrus Omar
2024	—	`conf`	Polymorphism with Typed Holes. TFP Adam Chen, Thomas Porter, Cyrus Omar
2024	J	`jnl`	Statically Contextualizing Large Language Models with Typed Holes. CoRR Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar
2024	J	`jnl`	Statically Contextualizing Large Language Models with Typed Holes. Proc. ACM Program. Lang. Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar
2024	J	`jnl`	Total Type Error Localization and Recovery with Holes. Proc. ACM Program. Lang. Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar
2023	B	`conf`	Gradual Structure Editing with Obligations. VL/HCC David Moon, Andrew Blinn, Cyrus Omar
2023	J	`jnl`	Live Pattern Matching with Typed Holes. Proc. ACM Program. Lang. Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
2022	B	`conf`	An Integrative Human-Centered Architecture for Interactive Programming Assistants. VL/HCC Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar
2022	—	`conf`	Contextualized Programming Language Documentation. Onward! Hannah Potter, Ardi Madadi, René Just, Cyrus Omar
2022	B	`conf`	RustViz: Interactively Visualizing Ownership and Borrowing. VL/HCC Marcelo Almeida, Grant Cole, Ke Du, Gongming Luo, Shulin Pan, Yu Pan, Kai Qiu, Vishnu Reddy, Haochen Zhang, Yingying Zhu, Cyrus Omar
2022	—	`conf`	tylr: a tiny tile-based structure editor. TyDe@ICFP David Moon, Andrew Blinn, Cyrus Omar
2021	A*	`conf`	Filling typed holes with live GUIs. PLDI Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
2020	—	`ed.`	Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020 ICFP James McKinna, Cyrus Omar
2020	J	`jnl`	Program sketching with live bidirectional evaluation. Proc. ACM Program. Lang. Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
2020	J	`jnl`	RustViz: Interactively Visualizing Ownership and Borrowing. CoRR Gongming Luo, Vishnu Reddy, Marcelo Almeida, Yingying Zhu, Ke Du, Cyrus Omar
2019	J	`jnl`	Live functional programming with typed holes. Proc. ACM Program. Lang. Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
2019	J	`jnl`	Program Synthesis with Live Bidirectional Evaluation. CoRR Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
2018	J	`jnl`	Live Functional Programming with Typed Holes. CoRR Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
2018	J	`jnl`	Reasonably programmable literal notation. Proc. ACM Program. Lang. Cyrus Omar, Jonathan Aldrich
2017	A*	`conf`	Hazelnut: a bidirectionally typed structure editor calculus. POPL Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
2017	—	`conf`	Toward Semantic Foundations for Program Editors. SNAPL Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2017	J	`jnl`	Toward Semantic Foundations for Program Editors. CoRR Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2016	J	`jnl`	Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
2016	B	`conf`	Programmable semantic fragments: the design and implementation of typy. GPCE Cyrus Omar, Jonathan Aldrich
2015	Misc	`conf`	Composable and hygienic typed syntax macros. SAC Cyrus Omar, Chenglong Wang, Jonathan Aldrich
2014	—	`conf`	Collaborative infrastructure for test-driven scientific model validation. ICSE Companion Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin
2014	A	`conf`	Safely Composable Type-Specific Languages. ECOOP Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014	—	`conf`	Statically typed string sanitation inside a python. PSP Nathan Fulton, Cyrus Omar, Jonathan Aldrich
2014	—	`conf`	Type-specific languages to fight injection attacks. HotSoS Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2013	—	`conf`	Structured statistical syntax tree prediction. SPLASH (Companion Volume) Cyrus Omar
2013	—	`conf`	Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
2012	A*	`conf`	Active code completion. ICSE Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers
2012	—	`conf`	Active type-checking and translation. SPLASH Cyrus Omar
2011	J	`jnl`	A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces. Int. J. Hum. Comput. Interact. Cyrus Omar, Abdullah Akce, Miles Johnson, Timothy Bretl, Rui Ma, Edward L. Maclin, Martin McCormick, Todd P. Coleman
2011	B	`conf`	Active code completion. VL/HCC Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers
2008	C	`conf`	Policies for neural prosthetic control: Initial experiments with a text interface. ACC Cyrus Omar, Miles Johnson, Timothy Bretl, Todd P. Coleman
2008	Misc	`conf`	Querying the user properly for high-performance brain-machine interfaces: Recursive estimation, control, and feedback information-theoretic perspectives. ICASSP Cyrus Omar, Miles Johnson, Timothy Bretl, Todd P. Coleman
2008	B	`conf`	Shedding weights: More with less. IJCNN Tsvi Achler, Cyrus Omar, Eyal Amir