Publications

• Dynamic Witnesses for Static Type Errors (journal extension) — JFP, vol. 28, 2018
  Eric L. Seidel, Ranjit Jhala, Westley Weimer
• Data-Driven Techniques for Type Error Diagnosis — PhD Dissertation 2017
  Eric L. Seidel
• Learning to Blame — OOPSLA 2017
  Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
• Dynamic Witnesses for Static Type Errors — ICFP 2016
  Eric L. Seidel, Ranjit Jhala, Westley Weimer
• Guilt Free Ivory — Haskell 2015
  Trevor Elliott, Simon Winwood, James Bielman, Lee Pike, Pat Hickey, Jamey Sharp, Eric L. Seidel, John Launchbury
• Type Targeted Testing — ESOP 2015
  Eric L. Seidel, Niki Vazou, Ranjit Jhala
• LiquidHaskell: Experience with Refinement Types in the Real World — Haskell 2014
  Niki Vazou, Eric L. Seidel, Ranjit Jhala
• Refinement Types for Haskell — ICFP 2014
  Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones
• Metadata Management in Scientific Computing — JOCSE 2012
  Eric L. Seidel
• Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired — ICCHP 2012
  Wai L. Khoo, Eric L. Seidel, Zhigang Zhu
• 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
• Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation — TeraGrid 2010
  Eric L. Seidel, Gabrielle Allen, Steven Brandt, Frank Löffler, Erik Schnetter