Active code completion C Omar, YS Yoon, TD LaToza, BA Myers 2012 34th International Conference on Software Engineering (ICSE), 859-869, 2012 | 124 | 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 | 101 | 2019 |
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 | 101 | 2012 |
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 | 85 | 2017 |
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 | 58 | 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 | 57 | 2010 |
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 | 53 | 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 | 43 | 2021 |
Collaborative infrastructure for test-driven scientific model validation C Omar, J Aldrich, RC Gerkin Companion proceedings of the 36th International Conference on Software …, 2014 | 39 | 2014 |
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 | 34 | 2017 |
Neurounit: Validation tests for neuroscience models R Gerkin, C Omar Neuroinformatics, Stockholm, Sweden, 2013 | 15 | 2013 |
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 | 14 | 2008 |
Reasonably programmable literal notation C Omar, J Aldrich Proceedings of the ACM on Programming Languages 2 (ICFP), 1-32, 2018 | 10 | 2018 |
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 | 9 | 2022 |
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 | 8 | 2023 |
Structured statistical syntax tree prediction C Omar Proceedings of the 2013 companion publication for conference on Systems …, 2013 | 8 | 2013 |
Hazel tutor: Guiding novices through type-driven development strategies H Potter, C Omar Human Aspects of Types and Reasoning Assistants (HATRA), 2020 | 7 | 2020 |
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 | 6 | 2019 |
Statically typed string sanitation inside a Python N Fulton, C Omar, J Aldrich Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014 | 6 | 2014 |