Eric L Seidel
Eric L Seidel
Verified email at cs.ucsd.edu - 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
1712014
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
492014
Type targeted testing
EL Seidel, N Vazou, R Jhala
European Symposium on Programming Languages and Systems, 812-836, 2015
332015
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
282015
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
172018
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
162010
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
142017
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
102012
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
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
Programming Languages and Systems
H Seidl
Springer, Heidelberg, 2012
32012
Metadata Management in Scientific Computing
EL Seidel
Journal of Computational Science Education 3 (2), 26-33, 2012
12012
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
UC San Diego, 2017
2017
Lightning Talk: Bringing Techniques from Software Engineering into Scientific Software
EL Seidel, G Allen
CEUR Workshop Proceedings 1686, 2016
2016
Location and Navigation Evaluation in a Mapped Building Environment
J Knapp, EL Seidel, S Wigder, W Khoo, E Molina, Z Zhu
2012
Guilt Free Ivory
TEL Pike, S Winwood, P Hickey, J Bielman, J Sharp, E Seidel, ...
Tutorial: Type-Based Analysis of Higher-Order Programs
N Vazou, PM Rondon, E Seidel, R Jhala
Technical Report: Refinement Types For Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
The system can't perform the operation now. Try again later.
Articles 1–19