Eric L Seidel
Eric L Seidel
Bloomberg
Verified email at seidel.io - Homepage
Title
Cited by
Cited by
Year
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
2322014
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
622014
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
372015
Type targeted testing
EL Seidel, N Vazou, R Jhala
European Symposium on Programming Languages and Systems, 812-836, 2015
332015
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
EL Seidel, R Jhala, W Weimer
Journal of Functional Programming 28, 2018
212018
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
202017
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
182010
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
122012
7th Symposium on the Frontiers of Massively Parallel Computation-Frontiers 99
G Allen, T Goodale, E Seidel
New York: IEEE, 1999
81999
The Einstein Toolkit
M Babiuc-Hamilton, SR Brandt, P Diener, M Elley, Z Etienne, G Ficarra, ...
Zenodo, 2019
72019
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
72010
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
51999
From safety to termination and back: Smt-based verification for lazy languages
N Vazou, EL Seidel, R Jhala
arXiv preprint arXiv:1401.6227, 2014
42014
The Einstein Toolkit
SR Brandt, B Brendal, WE Gabella, R Haas, B Karakaş, A Kedia, ...
Zenodo, 2020
32020
The Einstein Toolkit
Z Etienne, SR Brandt, P Diener, WE Gabella, M Gracia-Linares, R Haas, ...
Zenodo, 2021
12021
Metadata Management in Scientific Computing
EL Seidel
Journal of Computational Science Education 3 (2), 26-33, 2012
12012
The Einstein Toolkit
R Haas, SR Brandt, WE Gabella, M Gracia-Linares, B Karakaş, R Matur, ...
Zenodo, 0
1
Learning to Blame
EL SEIDEL, H SIBGHAT, K CHAUDHURI, W WEIMER, R JHALA
arXiv preprint arXiv:1708.07583, 2017
2017
Data-Driven Techniques for Type Error Diagnosis
EL Seidel
University of California, San Diego, 2017
2017
Lightning talk: Bringing techniques from software engineering into scientific software
EL Seidel, G Allen
CEUR Workshop Proceedings 1686, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20