Cyrus Omar
Cyrus Omar
Assistant Professor, Computer Science and Engineering, University of Michigan
Verified email at - Homepage
Cited by
Cited by
Active code completion
C Omar, YS Yoon, TD LaToza, BA Myers
2012 34th International Conference on Software Engineering (ICSE), 859-869, 2012
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
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
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
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
Safely composable type-specific languages
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
Collaborative infrastructure for test-driven scientific model validation
C Omar, J Aldrich, RC Gerkin
Companion Proceedings of the 36th International Conference on Software …, 2014
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
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
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
NeuroUnit: validation tests for neuroscience models
RC Gerkin, C Omar
Frontiers in Neuroinformatics 10, 2013
Shedding weights: More with less
T Achler, C Omar, E Amir
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
Rustviz: Interactively visualizing ownership and borrowing
M Almeida, G Cole, K Du, G Luo, S Pan, Y Pan, K Qiu, V Reddy, H Zhang, ...
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
Reasonably programmable literal notation
C Omar, J Aldrich
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-32, 2018
Structured statistical syntax tree prediction
C Omar
Proceedings of the 2013 companion publication for conference on Systems …, 2013
Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
H Potter, C Omar
Human Aspects of Types and Reasoning Assistants (HATRA), 2020
An integrative human-centered architecture for interactive programming assistants
A Blinn, D Moon, E Griffis, C Omar
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
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
Language-based architectural control
J Aldrich, C Omar, A Potanin, D Li
Carnegie Mellon University, 2014
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
The system can't perform the operation now. Try again later.
Articles 1–20