PhD Student Carnegie Mellon University
Computer Science Department
Advisor:
Alum University of Illinois at Urbana-Champaign
BS, Computer Science
BS, Molecular & Cellular Biology
Email comar@cs.cmu.edu
GitHub cyrus-
Twitter @neurocy
Office 9003 GHC
Interests I'm interested in applying the principles of type theory to the problems of programming language usability. I'm currently working on:
  • VerseML: modularly programmable syntax
  • Tidy: modularly programmable type structure
  • Hazelnut: a bidirectionally typed structure editor calculus
  • A statistical model of typed syntax trees
Past projects include:
  • Wyvern: modularly programmable type-specific syntax
  • Graphite: type-specific interactive code completion (+ user studies!)
  • λRS: a type system for regular string sanitation
I'm also (now only rarely) 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
Conference / Journal
Publications
Safely Composable Type-Specific Languages
C. Omar, D. Kurilova, L. Nistor, B. Chung, A. Potanin and J. Aldrich
European Conference on Object-Oriented Programming (ECOOP 2014)
Uppsala, Sweden, July 28 - August 1, 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)
Zurich, Switzerland, 2-9 June 2012. pp. 859-869.

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)
Salamanca, Spain, April 13-17, 2015

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

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

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)
Hyderabad, India, May 31 - June 7, 2014

Older...

In Progress
Modularly Programmable Syntax (PhD Thesis)
C. Omar

Hazelnut: A Bidirectionally Typed Structure Editor Calculus
C. Omar, M. Hilton, I. Voysey, M. Hammer and J. Aldrich

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

Modularly Programmable Type Structure
C. Omar and J. Aldrich

Misc.
Okasaki: A Web-Based Purely Functional Text Editor
C. Omar
Presentation, SIGBOVIK 2013

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

Teaching


Head TA, Fall 2011 with

Service
  • Program Committee, DSLDI 2015
  • Artifact Evaluation Committee, ECOOP 2015
Awards
  • 2nd Place, ICFP 2015 Graduate Student Research Competition
  • 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
  • Judge's Prize, Computing Habitat Competition