Component specification in the Cactus Framework: The Cactus Configuration Language. - Gabrielle Allen; Tom Goodale; Frank Löffler 001; David Rideout; Erik Schnetter; Eric L. Seidel (GRID, 2010)

Simplifying complex software assembly: the component retrieval language and implementation. - Eric L. Seidel; Gabrielle Allen; Steven R. Brandt; Frank Löffler 001; Erik Schnetter (TG, 2010)

Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired. - Wai L. Khoo; Eric L. Seidel; Zhigang Zhu 001 (ICCHP (2), 2012)

Metadata Management in Scientific Computing - Eric L. Seidel (CoRR, 2012)

LiquidHaskell: experience with refinement types in the real world. - Niki Vazou; Eric L. Seidel; Ranjit Jhala (Haskell, 2014)

Refinement types for Haskell. - Niki Vazou; Eric L. Seidel; Ranjit Jhala; Dimitrios Vytiniotis; Simon L. Peyton Jones (ICFP, 2014)

From Safety To Termination And Back: SMT-Based Verification For Lazy Languages. - Niki Vazou; Eric L. Seidel; Ranjit Jhala (CoRR, 2014)

Type Targeted Testing. - Eric L. Seidel; Niki Vazou; Ranjit Jhala (ESOP, 2015)

Guilt free ivory. - Trevor Elliott; Lee Pike; Simon Winwood; Patrick C. Hickey; James Bielman; Jamey Sharp; Eric L. Seidel; John Launchbury (Haskell, 2015)

Dynamic Witnesses for Static Type Errors. - Eric L. Seidel; Ranjit Jhala; Westley Weimer (CoRR, 2016)

Learning to blame: localizing novice type errors with data-driven diagnosis. - Eric L. Seidel; Huma Sibghat; Kamalika Chaudhuri; Westley Weimer; Ranjit Jhala (Proc. ACM Program. Lang., 2017)

Data-Driven Techniques for Type Error Diagnosis. - Eric L. Seidel (2017)

Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). - Eric L. Seidel; Ranjit Jhala; Westley Weimer (J. Funct. Program., 2018)