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 Gates-Hillman Center
Interests
My research aims to bring to life a new generation of highly adaptable and intelligent programming systems.

My approach is to start from the first principles of type theory, probability theory and information theory. I then apply disciplined qualitative and empirical methods as I scale up, validate and iterate on my designs.

I am particularly interested in improving the scientific programming experience, in part because I was a computational neurobiologist in a past life (i.e. from 2006 to 2010.)

Full Papers
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
C. Omar, I. Voysey, M. Hilton, J. Aldrich and M. Hammer
To appear, POPL 2017

Programmable Semantic Fragments: The Design and Implementation of typy
C. Omar and J. Aldrich
GPCE 2016

Safely Composable Type-Specific Languages
C. Omar, D. Kurilova, L. Nistor, B. Chung, A. Potanin and J. Aldrich
ECOOP 2014
Distinguished Paper Award

Active Code Completion
C. Omar, Y. Yoon, T. D. LaToza and B. A. Myers
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
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, 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)

Older...

In Progress
Reasonably Programmable Syntax
C. Omar
PhD Dissertation

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 Fragmentary Bidirectionally Typed Translation Semantics
C. Omar and J. Aldrich

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

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

Teaching

Head TA, Fall 2011 with

Alan J. Perlis Graduate Student Teaching Award (2013)

Service
  • Publicity Chair and Program Committee, GPCE 2017
  • Program Committee, DSLDI 2015
  • Artifact Evaluation Committee, ECOOP 2015
  • CSD Graduate Admissions Committee, 2013
Honors
  • 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