Refinement types for Haskell N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 327 | 2014 |
Liquidhaskell: Experience with refinement types in the real world N Vazou, EL Seidel, R Jhala Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 39-51, 2014 | 83 | 2014 |
Guilt free ivory T Elliott, L Pike, S Winwood, P Hickey, J Bielman, J Sharp, E Seidel, ... ACM SIGPLAN Notices 50 (12), 189-200, 2015 | 49 | 2015 |
Learning to blame: localizing novice type errors with data-driven diagnosis EL Seidel, H Sibghat, K Chaudhuri, W Weimer, R Jhala Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017 | 35 | 2017 |
Type targeted testing EL Seidel, N Vazou, R Jhala Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 35 | 2015 |
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) EL Seidel, R Jhala, W Weimer Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 29 | 2016 |
Component specification in the cactus framework: The cactus configuration language G Allen, T Goodale, F Löffler, D Rideout, E Schnetter, EL Seidel 2010 11th IEEE/ACM International Conference on Grid Computing, 359-368, 2010 | 19 | 2010 |
The einstein toolkit R Haas, CH Cheng, P Diener, Z Etienne, G Ficarra, T Ikeda, ... Zenodo, 2020 | 16 | 2020 |
The Einstein Toolkit M Babiuc-Hamilton, SR Brandt, P Diener, M Elley, Z Etienne, G Ficarra, ... Zenodo, 2019 | 15 | 2019 |
The Einstein Toolkit SR Brandt, B Brendal, WE Gabella, R Haas, B Karakaş, A Kedia, ... Zenodo, 2020 | 13 | 2020 |
Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired W Khoo, EL Seidel, Z Zhu Computers Helping People with Special Needs, 573-580, 2012 | 13 | 2012 |
The Einstein Toolkit Z Etienne, SR Brandt, P Diener, WE Gabella, M Gracia-Linares, R Haas, ... Zenodo, 2021 | 12 | 2021 |
7th Symposium on the Frontiers of Massively Parallel Computation-Frontiers 99 G Allen, T Goodale, E Seidel New York: IEEE, 1999 | 8 | 1999 |
The einstein toolkit Y Zlochower, SR Brandt, P Diener, WE Gabella, M Gracia-Linares, ... Zenodo, 2022 | 7 | 2022 |
Simplifying complex software assembly: the component retrieval language and implementation EL Seidel, G Allen, S Brandt, F Löffler, E Schnetter Proceedings of the 2010 TeraGrid Conference, 1-8, 2010 | 7 | 2010 |
Schwarze Löcher sehen W Benger, HC Hege, A Merzky, T Radke, E Seidel DFN-Mitteilungen, Bd 52, 2000 | 6 | 2000 |
Proceedings of Eighth IEEE International Symposium on High Performance Distributed Computing, HPDC-8, Redondo Beach, 1999 G Allen, T Goodale, J Massó, E Seidel IEEE Press, 1999 | 6 | 1999 |
From safety to termination and back: Smt-based verification for lazy languages N Vazou, EL Seidel, R Jhala arXiv preprint arXiv:1401.6227, 2014 | 4 | 2014 |
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) EL Seidel, R Jhala, W Weimer Journal of Functional Programming 28, e13, 2018 | 3 | 2018 |
The Einstein Toolkit L Werneck, S Cupp, T Assumpção, SR Brandt, CH Cheng, P Diener, ... Zenodo, 2023 | 2 | 2023 |