PhD Student Carnegie Mellon University
Computer Science Department
Alum University of Illinois at Urbana-Champaign
BS, Computer Science
BS, Molecular & Cellular Biology
GitHub cyrus-
Twitter @neurocy
Office 9003 Gates-Hillman Center
Interests I'm interested in applying the principles of type theory to the problems of programming language usability. I'm currently working on:
  • VerseML: a functional language in the ML tradition with a reasonably programmable syntax
  • typy: a language with a fragmentary bidirectionally typed translation semantics, embedded into Python
  • Hazelnut: a bidirectionally typed structure editor calculus
  • Syzygy: statistical models of typed syntax trees
Past projects include:
  • Wyvern: a general-purpose language that supports user-defined type-specific languages (TSLs)
  • Graphite: type-specific interactive code generation (+ user studies!)
  • λRS: a type system for regular string sanitation
I'm also (occasionally) a theoretical neuroscientist. I've worked on:
  • SciUnit: infrastructure for testing scientific models against data
  • Information-theoretic designs for rehabilitative neural interfaces
  • Dynamical systems models of neurobiological circuits
Full Papers
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
C. Omar, I. Voysey, M. Hilton, J. Aldrich and M. Hammer
To appear, 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
To appear, 15th International Conference on Generative Programming: Concepts & Experiences (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, 27: 1, 5-23 (2011)

Short Papers
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)

Language-Based Architectural Control
J. Aldrich, C. Omar, A. Potanin and D. Li
6th International Workshop on Aliasing, Capabilities and Ownership (IWACO 2014)


In Progress
Reasonably Programmable Syntax
C. Omar
PhD Dissertation

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

  • Publicity Chair, 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
  • Jeffrey P. Blahut Memorial Scholarship
  • Franz Hohn and John P. Nash Scholarship