Eric L. Seidel

ORCID

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 7

Top Venues

CoRR

Haskell

ICFP

Proc. ACM Program. Lang.

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). J. Funct. Program. 28 (2018)
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis. CoRR (2017)
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
Learning to blame: localizing novice type errors with data-driven diagnosis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). ICFP (2016)
Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic Witnesses for Static Type Errors. CoRR (2016)
Eric L. Seidel, Niki Vazou, Ranjit Jhala
Type Targeted Testing. ESOP (2015)
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
Guilt free ivory. Haskell (2015)
Niki Vazou, Eric L. Seidel, Ranjit Jhala
From Safety To Termination And Back: SMT-Based Verification For Lazy Languages. CoRR (2014)
Niki Vazou, Eric L. Seidel, Ranjit Jhala
LiquidHaskell: experience with refinement types in the real world. Haskell (2014)
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones
Refinement types for Haskell. ICFP (2014)
Eric L. Seidel, Niki Vazou, Ranjit Jhala
Type Targeted Testing. CoRR (2014)
Wai L. Khoo, Eric L. Seidel, Zhigang Zhu
Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired. ICCHP (2) (2012)
Eric L. Seidel
Metadata Management in Scientific Computing CoRR (2012)
Eric L. Seidel, Gabrielle Allen, Steven R. Brandt, Frank Löffler, Erik Schnetter
Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation CoRR (2010)
Eric L. Seidel, Gabrielle Allen, Steven R. Brandt, Frank Löffler, Erik Schnetter
Simplifying complex software assembly: the component retrieval language and implementation. TG (2010)
Gabrielle Allen, Tom Goodale, Frank Löffler, David Rideout, Erik Schnetter, Eric L. Seidel
Component specification in the Cactus Framework: The Cactus Configuration Language. GRID (2010)
Gabrielle Allen, Tom Goodale, Frank Löffler, David Rideout, Erik Schnetter, Eric L. Seidel
Component Specification in the Cactus Framework: The Cactus Configuration Language CoRR (2010)

Eric L. Seidel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eric L. Seidel