Eric L. Seidel

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