Eric L. Seidel

According to our database, Eric L. Seidel authored at least 13 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).

Eric L. Seidel, Ranjit Jhala, Westley Weimer

J. Funct. Program., 2018

2017

Data-Driven Techniques for Type Error Diagnosis.

Eric L. Seidel

PhD thesis, 2017

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

2016

Dynamic Witnesses for Static Type Errors.

Eric L. Seidel, Ranjit Jhala, Westley Weimer

CoRR, 2016

2015

Guilt free ivory.

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Type Targeted Testing.

Eric L. Seidel, Niki Vazou, Ranjit Jhala

Proceedings of the Programming Languages and Systems, 2015

2014

From Safety To Termination And Back: SMT-Based Verification For Lazy Languages.

Niki Vazou, Eric L. Seidel, Ranjit Jhala

CoRR, 2014

Refinement types for Haskell.

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

LiquidHaskell: experience with refinement types in the real world.

Niki Vazou, Eric L. Seidel, Ranjit Jhala

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2012

Metadata Management in Scientific Computing

Eric L. Seidel

CoRR, 2012

Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired.

Wai L. Khoo, Eric L. Seidel, Zhigang Zhu

Proceedings of the Computers Helping People with Special Needs, 2012

2010

Simplifying complex software assembly: the component retrieval language and implementation.

Eric L. Seidel, Gabrielle Allen, Steven R. Brandt, Frank Löffler, Erik Schnetter

Proceedings of the 2010 TeraGrid Conference, 2010

Component specification in the Cactus Framework: The Cactus Configuration Language.

Gabrielle Allen, Tom Goodale, Frank Löffler, David Rideout, Erik Schnetter, Eric L. Seidel

Proceedings of the 2010 11th IEEE/ACM International Conference on Grid Computing, 2010