PhD Student Carnegie Mellon University
Computer Science Department
Alum University of Illinois at Urbana-Champaign
BS, Computer Science
BS, Molecular & Cellular Biology
GitHub cyrus-
Office 9003 Gates-Hillman Center
I apply the first principles of type theory, and increasingly, statistical machine learning, to design programming languages and programming environments for scientists and other skilled end-users (e.g. engineers, data analysts and artists). My goal is to design programming languages and environments that are more:
  • adaptable
    Library providers should be able to modularly install library-specific syntactic forms and editor services.
  • reasonable
    There should be clear abstract reasoning principles available to programmers as they read and edit programs.
  • predictive
    The programming environment should combine statistics gathered from a corpus of other programs with a semantic understanding of the program being written to help predict the edit actions that the programmer intends to perform.
Full Papers
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
C. Omar, I. Voysey, M. Hilton, J. Aldrich and M. Hammer
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)

Programmable Semantic Fragments: The Design and Implementation of typy
C. Omar and J. Aldrich
15th International Conference on Generative Programming: Concepts & Experience (GPCE 2016)

Safely Composable Type-Specific Languages
C. Omar, D. Kurilova, L. Nistor, B. Chung, A. Potanin and J. Aldrich
28th European Conference on Object-Oriented Programming (ECOOP 2014)
Distinguished Paper Award

Active Code Completion
C. Omar, Y. Yoon, T. D. LaToza and B. A. Myers
34th International Conference on Software Engineering (ICSE 2012)

Neural correlation is stimulus modulated by feedforward inhibitory circuitry
J. W. Middleton, C. Omar, B. Doiron and D. J. Simons
Journal of Neuroscience 32(2):506-18 (2012)

A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces
C. Omar, A. Akce, M. Johnson, T. Bretl, R. Ma, E. Maclin, M. McCormick and T. Coleman
International Journal of Human-Computer Interaction (Special Issue: Current Trends in Brain-Computer Interface (BCI) Research and Development), 27: 1, 5-23 (2011)

Short Papers
Toward Semantic Foundations for Program Editors
C. Omar, I. Voysey, M. Hilton, J. Sunshine, C. Le Goues, J. Aldrich and M. Hammer
To appear, 2nd Summit on Advances in Programming Languages (SNAPL 2017)

Composable and Hygienic Typed Syntax Macros
C. Omar, C. Wang and J. Aldrich
30th ACM Symposium on Applied Computing (SAC 2015)

Statically Typed String Sanitation Inside a Python
N. Fulton, C. Omar and J. Aldrich
International Workshop on Privacy and Security in Programming (PSP 2014)
Best Paper Award

Collaborative Infrastructure for Test-Driven Scientific Model Validation
C. Omar, J. Aldrich and R. Gerkin
NIER Track, 36th International Conference on Software Engineering (ICSE 2014)


In Progress
Reasonably Programmable Syntax
C. Omar
PhD Dissertation

Reasonably Programmable Syntax
C. Omar and J. Aldrich
In submission

Hazelnut Live: Semantic Foundations for Evaluating Incomplete Programs
C. Omar, I. Voysey, M. Hilton and M. Hammer

Statistical Models of Typed Syntax Trees
C. Omar, S. Joshi, F. Cruz and C. Le Goues

Tidy: A Modularly Programmable Bidirectionally Typed Translation Semantics
C. Omar and J. Aldrich

Okasaki: A Web-Based Purely Functional Text Editor
Presentation, SIGBOVIK 2013

How do people naturally think about computation?
05-899D Lecture, Spring 2011


Head TA, Fall 2011 with

Alan J. Perlis Graduate Student Teaching Award (2013)

  • Publicity Chair, GPCE 2017
  • Program Committee, GPCE 2017
  • Program Committee, DSLDI 2015
  • Artifact Evaluation Committee, ECOOP 2015
  • CSD Graduate Admissions Committee, 2013
  • DOE Computational Science Graduate Fellowship
  • NSF Graduate Research Fellowship
  • Duncan H. Lawrie Leadership Award
  • University of Illinois Bronze Tablet
  • Franz Hohn and John P. Nash Scholarship