35 citations · 48 across the 5 of their papers we have counts for
7 papers
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri +2
Localizing type errors is challenging in languages with global type inference, as the type checker must make assumptions about what the programmer intended to do. We introduce Nate…
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Eric L Seidel, Ranjit Jhala, Westley Weimer
Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample wi…
Type Targeted Testing
Eric L. Seidel, Niki Vazou, Ranjit Jhala
We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. The key insight behind our approach is that throu…
From Safety To Termination And Back: SMT-Based Verification For Lazy Languages
Niki Vazou, Eric L. Seidel, Ranjit Jhala
SMT-based verifiers have long been an effective means of ensuring safety properties of programs. While these techniques are well understood, we show that they implicitly require ea…
Metadata Management in Scientific Computing
Eric L. Seidel
Complex scientific codes and the datasets they generate are in need of a sophisticated categorization environment that allows the community to store, search, and enhance metadata i…
Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation
Eric L. Seidel, Gabrielle Allen, Steven Brandt +2
Assembling simulation software along with the associated tools and utilities is a challenging endeavor, particularly when the components are distributed across multiple source code…
Component Specification in the Cactus Framework: The Cactus Configuration Language
Gabrielle Allen, Tom Goodale, Frank Löffler +3
Component frameworks are complex systems that rely on many layers of abstraction to function properly. One essential requirement is a consistent means of describing each individual…