Follow
Cyrus Omar
Cyrus Omar
Assistant Professor, Computer Science and Engineering, University of Michigan
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
Active code completion
C Omar, YS Yoon, TD LaToza, BA Myers
2012 34th International Conference on Software Engineering (ICSE), 859-869, 2012
1032012
Neural correlation is stimulus modulated by feedforward inhibitory circuitry
JW Middleton, C Omar, B Doiron, DJ Simons
Journal of Neuroscience 32 (2), 506-518, 2012
902012
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, ...
Intl. Journal of Human–Computer Interaction 27 (1), 5-23, 2010
532010
Safely composable type-specific languages
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
European Conference on Object-Oriented Programming, 105-130, 2014
512014
Live functional programming with typed holes
C Omar, I Voysey, R Chugh, MA Hammer
Proceedings of the ACM on Programming Languages 3 (POPL), 1-32, 2019
492019
Hazelnut: a bidirectionally typed structure editor calculus
C Omar, I Voysey, M Hilton, J Aldrich, MA Hammer
ACM SIGPLAN Notices 52 (1), 86-99, 2017
482017
Toward semantic foundations for program editors
C Omar, I Voysey, M Hilton, J Sunshine, CL Goues, J Aldrich, MA Hammer
arXiv preprint arXiv:1703.08694, 2017
252017
Collaborative infrastructure for test-driven scientific model validation
C Omar, J Aldrich, RC Gerkin
Companion Proceedings of the 36th International Conference on Software …, 2014
252014
Program sketching with live bidirectional evaluation
J Lubin, N Collins, C Omar, R Chugh
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
222020
Shedding weights: More with less
T Achler, C Omar, E Amir
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
132008
NeuroUnit: validation tests for neuroscience models
RC Gerkin, C Omar
Frontiers in Neuroinformatics 10, 2013
112013
Structured statistical syntax tree prediction
C Omar
Proceedings of the 2013 companion publication for conference on Systems …, 2013
72013
Filling typed holes with live GUIs
C Omar, D Moon, A Blinn, I Voysey, N Collins, R Chugh
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
62021
Querying the user properly for high-performance brain-machine interfaces: Recursive estimation, control, and feedback information-theoretic perspectives
C Omar, M Johnson, TW Bretl, TP Coleman
2008 IEEE International Conference on Acoustics, Speech and Signal …, 2008
62008
Reasonably programmable syntax
C Omar
Ph. D. Dissertation. Carnegie Mellon University, Pittsburgh, USA, 2017
52017
Language-based architectural control
J Aldrich, C Omar, A Potanin, D Li
Carnegie Mellon University, 2014
52014
Live functional programming with typed holes. PACMPL 3, POPL (2019), 14: 1–14: 32
C Omar, I Voysey, R Chugh, MA Hammer
42019
NeuronUnit: A package for data-driven validation of neuron models using SciUnit
RC Gerkin, J Birgiolas, RJ Jarvis, C Omar, SM Crook
bioRxiv, 665331, 2019
42019
Reasonably programmable literal notation
C Omar, J Aldrich
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-32, 2018
42018
Statically typed string sanitation inside a Python
N Fulton, C Omar, J Aldrich
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20