Cyrus Omar

Registered user since Sun 4 Jan 2015

Name:Cyrus Omar
Country:United States
Affiliation:University of Michigan
Research interests:Programming Languages, Programming Environments, Typed Functional Programming

Contributions

SPLASH 2024 Committee Member in Review Committee within the OOPSLA 2024-track
HATRA 2023 Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the HATRA-track
SPLASH 2023 Author of Live Pattern Matching with Typed Holes within the OOPSLA-track
VL/HCC 2023 PC Member in Program Committee
ECOOP 2023 Pearls/Brave New Ideas Area Chair in Program Committee within the Research Papers-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
HATRA 2022 Session Chair of Remote Talks (part of Human Aspects of Types and Reasoning Assistants)
Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022 Committee Member in Judges within the Student Research Competition-track
Mentor in Mentors within the PLMW-track
Author of Contextualized Programming Language Documentation within the Onward! Papers-track
VL/HCC 2022 Session Chair of Session on Block-based Languages & Programming Education (part of Research Papers)
Author of An Integrative Human-Centered Architecture for Interactive Programming Assistants within the Research Papers-track
Author of RustViz: Interactively Visualizing Ownership and Borrowing within the Research Papers-track
Committee Member in Program Committee
TyDe 2022 Author of tylr, a tiny tile-based structure editor within the TyDe 2022-track
HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
LIVE 2021 Author of Restructuring Structure Editing within the LIVE 2021-track
SPLASH 2021 Session Chair of ICFP 2021 Papers (part of SIGPLAN Papers)
Author of Program Sketching with Live Bidirectional Evaluation within the SIGPLAN Papers-track
Author of Filling Typed Holes with Live GUIs within the SIGPLAN Papers-track
Committee Member in Judges within the Student Research Competition-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
PLDI 2021 Author of Filling Typed Holes with Live GUIs within the PLDI-track
HATRA 2020 Committee Member in Program Committee within the HATRA-track
Author of RustViz: Interactively Visualizing Ownership and Borrowing within the HATRA-track
Author of Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies within the HATRA-track
LIVE 2020 PC Member in Programme Committee within the LIVE 2020-track
ICFP 2020 Committee Member in Program Committee within the Student Research Competition-track
Committee Member in Poster and Presentation Judges within the Student Research Competition-track
Committee Member in External Review Committee within the ICFP Program-track
Author of Program Sketching with Live Bidirectional Evaluation within the ICFP Program-track
TyDe 2020 PC Co-Chair in Program Committee within the TyDe 2020-track
PC Co-Chair in Organizing Committee within the TyDe 2020-track
SPLASH 2019 PC Member in Program Committee within the Onward! Papers-track
LIVE 2019 Committee Member in Program Committee within the LIVE 2019-track
META 2019 Committee Member in Program Committee within the META 2019-track
ICFP 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ML 2019 Committee Member in Program Committee within the ML 2019-track
TyDe 2019 Author of Flexible Structure Editing of Well-Typed Expressions within the TyDe 2019-track
Author of Livelits: Filling Typed Holes with Live GUIs within the TyDe 2019-track
POPL 2019 Author of Live Functional Programming with Typed Holes within the Research Papers-track
LIVE 2018 Author of Hazel: Live and Direct Functional Programming with Holes within the LIVE 2018-track
Committee Member in Program Committee within the LIVE 2018-track
META'18 Author of Relit: Typed Literal Macros for Reason within the Meta-track
SPLASH 2018 Committee Member in Reviewers within the SRC-track
ICFP 2018 Author of Reasonably Programmable Literal Notation within the Research Papers-track
OCaml 2018 Author of Relit: Implementing Typed Literal Macros in Reason within the OCaml 2018-track
LIVE 2017 Author of Toward a Live Stepper for Typed Expressions with Holes within the LIVE 2017-track
META 2017 Session Chair of Runtime Reflection (part of Meta 2017)
Committee Member in Program Committee within the Meta 2017-track
Committee Member in Program Committee within the Meta 2017-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
Publicity Chair in Organizing Committee within the GPCE 2017-track
POPL 2017 Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track
Off the Beaten Track 2017 Author of Running Incomplete Programs within the OBT-track
GPCE 2016 Author of Programmable Semantic Fragments: The Design and Implementation of typy within the GPCE-track
Parsing@SLE 2015 Author of Modular Syntax within the Parsing@SLE-track
ECOOP 2015 Committee Member in Artifact Evaluation Committee within the Artifacts-track
DSLDI 2015 Committee Member in Program Committee within the DSLDI-track
DSLDI Author of Composable Syntax Macros within the DSLDI-track
SPLASH 2013 Committee Member in Committee within the Student Volunteers-track
Author of Structured Statistical Syntax Tree Prediction within the ACM SRC-track
SPLASH 2012 Author of Active type-checking and translation within the ACM Student Research Competition-track