Eric L Seidel
Eric L Seidel
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
Type targeted testing
EL Seidel, N Vazou, R Jhala
Programming Languages and Systems: 24th European Symposium on Programming …, 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
The einstein toolkit
R Haas, CH Cheng, P Diener, Z Etienne, G Ficarra, T Ikeda, ...
Zenodo, 2020
The Einstein Toolkit
M Babiuc-Hamilton, SR Brandt, P Diener, M Elley, Z Etienne, G Ficarra, ...
Zenodo, 2019
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
The einstein toolkit
Z Etienne, SR Brandt, P Diener, WE Gabella, M Gracia-Linares, R Haas, ...
Zenodo, 2021
The Einstein Toolkit
SR Brandt, B Brendal, WE Gabella, R Haas, B Karakaş, A Kedia, ...
Zenodo, 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
The einstein toolkit
Y Zlochower, SR Brandt, P Diener, WE Gabella, M Gracia-Linares, ...
Zenodo, 2022
7th Symposium on the Frontiers of Massively Parallel Computation-Frontiers 99
G Allen, T Goodale, E Seidel
New York: IEEE, 1999
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
Schwarze Löcher sehen
W Benger, HC Hege, A Merzky, T Radke, E Seidel
DFN-Mitteilungen, Bd 52, 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, 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
The Einstein Toolkit
L Werneck, S Cupp, T Assumpção, SR Brandt, CH Cheng, P Diener, ...
Zenodo, 2023
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
The system can't perform the operation now. Try again later.
Articles 1–20