Seguir
Cyrus Omar
Cyrus Omar
Assistant Professor, Computer Science and Engineering, University of Michigan
Dirección de correo verificada de umich.edu - Página principal
Título
Citado por
Citado por
Año
Active code completion
C Omar, YS Yoon, TD LaToza, BA Myers
2012 34th International Conference on Software Engineering (ICSE), 859-869, 2012
1242012
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
1012019
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
1012012
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
852017
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
582014
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
572010
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
532020
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
432021
Collaborative infrastructure for test-driven scientific model validation
C Omar, J Aldrich, RC Gerkin
Companion proceedings of the 36th International Conference on Software …, 2014
392014
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
342017
Neurounit: Validation tests for neuroscience models
R Gerkin, C Omar
Neuroinformatics, Stockholm, Sweden, 2013
152013
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
14*2022
Shedding weights: More with less
T Achler, C Omar, E Amir
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
142008
Reasonably programmable literal notation
C Omar, J Aldrich
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-32, 2018
102018
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
92022
Live Pattern Matching with Typed Holes
Y Yuan, S Guest, E Griffis, H Potter, D Moon, C Omar
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 609-635, 2023
82023
Structured statistical syntax tree prediction
C Omar
Proceedings of the 2013 companion publication for conference on Systems …, 2013
82013
Hazel tutor: Guiding novices through type-driven development strategies
H Potter, C Omar
Human Aspects of Types and Reasoning Assistants (HATRA), 2020
72020
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
62019
Statically typed string sanitation inside a Python
N Fulton, C Omar, J Aldrich
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
62014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20