Cyrus Omar -

Registered user since Sun 4 Jan 2015

Name:Cyrus Omar

Bio:

https://fplab.mplse.org/

Country:United States

Affiliation:University of Michigan

Personal website:https://web.eecs.umich.edu/~comar

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