Publications Dynamic Witnesses for Static Type Errors (journal extension) — JFP, vol. 28, 2018Eric L. Seidel , Ranjit Jhala, Westley WeimerData-Driven Techniques for Type Error Diagnosis — PhD Dissertation 2017Eric L. Seidel Learning to Blame — OOPSLA 2017Eric L. Seidel , Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit JhalaDynamic Witnesses for Static Type Errors — ICFP 2016Eric L. Seidel , Ranjit Jhala, Westley WeimerGuilt Free Ivory — Haskell 2015Eric L. Seidel , John LaunchburyType Targeted Testing — ESOP 2015Eric L. Seidel , Niki Vazou, Ranjit JhalaLiquidHaskell: Experience with Refinement Types in the Real World — Haskell 2014Eric L. Seidel , Ranjit JhalaRefinement Types for Haskell — ICFP 2014 (Awarded Most Influential Paper at ICFP 2024)Eric L. Seidel , Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-JonesMetadata Management in Scientific Computing — JOCSE 2012Eric L. Seidel Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired — ICCHP 2012Eric L. Seidel , Zhigang ZhuComponent Specification in the Cactus Framework: The Cactus Configuration Language — GRID 2010Eric L. Seidel Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation — TeraGrid 2010Eric L. Seidel , Gabrielle Allen, Steven Brandt, Frank Löffler, Erik Schnetter