Cyrus Omar
Cyrus Omar
Assistant Professor, Computer Science and Engineering, University of Michigan
Geverifieerd e-mailadres voor - Homepage
Geciteerd door
Geciteerd door
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
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
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
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
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
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
Collaborative infrastructure for test-driven scientific model validation
C Omar, J Aldrich, RC Gerkin
Companion Proceedings of the 36th International Conference on Software …, 2014
Shedding weights: More with less
T Achler, C Omar, E Amir
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
NeuroUnit: validation tests for neuroscience models
RC Gerkin, C Omar
Front Neuroinform, 2013
Structured statistical syntax tree prediction
C Omar
Proceedings of the 2013 companion publication for conference on Systems …, 2013
Live functional programming with typed holes. PACMPL 3, POPL (2019), 14: 1–14: 32
C Omar, I Voysey, R Chugh, MA Hammer
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
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
Reasonably Programmable Syntax
C Omar
Ph. D. Dissertation. Carnegie Mellon University, Pittsburgh, USA, 2017
Statically typed string sanitation inside a Python
N Fulton, C Omar, J Aldrich
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
Type-directed, whitespace-delimited parsing for embedded DSLs
C Omar, B Chung, D Kurilova, A Potanin, J Aldrich
Proceedings of the First Workshop on the Globalization of Domain Specific …, 2013
Composable and hygienic typed syntax macros
C Omar, C Wang, J Aldrich
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1986-1991, 2015
Policies for neural prosthetic control: Initial experiments with a text interface
C Omar, M Johnson, T Bretl, T Coleman
2008 American Control Conference, 4161-4166, 2008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20