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

LIVE 2020 PC Member in Programme Committee within the LIVE 2020-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
TyDe 2020 PC Co-Chair in Program Committee within the TyDe 2020-track
PC Co-Chair in Organizing Committee within the TyDe 2020-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-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
LIVE 2019 Committee Member in Program Committee within the LIVE 2019-track
META 2019 Committee Member in Program Committee within the META 2019-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
SPLASH 2019 PC Member in Program Committee within the Onward! Papers-track
POPL 2019 Author of Live Functional Programming with Typed Holes within the Research Papers-track
META'18 Author of Relit: Typed Literal Macros for Reason within the Meta-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
OCaml 2018 Author of Relit: Implementing Typed Literal Macros in Reason within the OCaml 2018-track
ICFP 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2018 Committee Member in Reviewers within the SRC-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
ICFP 2018 Author of Reasonably Programmable Literal Notation within the Research Papers-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
Publicity Chair in Organizing Committee within the GPCE 2017-track
Off the Beaten Track 2017 Author of Running Incomplete Programs within the OBT-track
POPL 2017 Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-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
DSLDI 2015 Committee Member in Program Committee within the DSLDI-track
DSLDI Author of Composable Syntax Macros within the DSLDI-track
ECOOP 2015 Committee Member in Artifact Evaluation Committee within the Artifacts-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