Cyrus Omar

Registered user since Sun 4 Jan 2015

Name: Cyrus Omar

Country: United States

Affiliation: University of Chicago

Personal website: http://www.cs.cmu.edu/~comar

Research interests: Programming Languages, Programming Environments, Typed Functional Programming

Contributions

LIVE 2019Committee Member in Program Committee within the LIVE 2019-track
META 2019Committee Member in Program Committee within the META 2019-track
ML 2019Committee Member in Program Committee within the ML 2019-track
SPLASH 2019PC Member in Program Committee within the Onward! Papers-track
POPL 2019Author of Live Functional Programming with Typed Holes within the Research Papers-track
META'18Author of Relit: Typed Literal Macros for Reason within the Meta-track
LIVE 2018Author 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 2018Author of Relit: Implementing Typed Literal Macros in Reason within the OCaml 2018-track
ICFP 2019Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2018Committee Member in Reviewers within the SRC-track
LIVE 2017Author of Toward a Live Stepper for Typed Expressions with Holes within the LIVE 2017-track
META 2017Session 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 2018Author of Reasonably Programmable Literal Notation within the Research Papers-track
GPCE 2017Committee Member in Program Committee within the GPCE 2017-track
Publicity Chair in Organizing Committee within the GPCE 2017-track
Off the Beaten Track 2017Author of Running Incomplete Programs within the OBT-track
POPL 2017Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track
GPCE 2016Author of Programmable Semantic Fragments: The Design and Implementation of typy within the GPCE-track
Parsing@SLE 2015Author of Modular Syntax within the Parsing@SLE-track
DSLDI 2015Committee Member in Program Committee within the DSLDI-track
DSLDIAuthor of Composable Syntax Macros within the DSLDI-track
ECOOP 2015Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2013Committee Member in Committee within the Student Volunteers-track
Author of Structured Statistical Syntax Tree Prediction within the ACM SRC-track
SPLASH 2012Author of Active type-checking and translation within the ACM Student Research Competition-track