EDBT 2026 Demo / reviewers in the wild / expert
Huma Sibghat
dblp:205/3184
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 50% Debugging and program repair · 50% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Computing education · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
fault localization |
0.3 | 1 | 2017 | Learning to blame: localizing novice type errors with data-driven diagnosis · Proc. ACM Program. Lang. 2017 |
Programming languages and type systems › type checking
type error localization |
0.3 | 1 | 2017 | Learning to blame: localizing novice type errors with data-driven diagnosis · Proc. ACM Program. Lang. 2017 |
Computing education › programming education
introductory programming |
0.1 | 1 | 2017 | Learning to blame: localizing novice type errors with data-driven diagnosis · Proc. ACM Program. Lang. 2017 |
Methods — techniques the papers use, named apart from their topics
supervised learning · 0.6statistical modeling · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Learning to blame: localizing novice type errors with data-driven diagnosisabstractLocalizing 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, a data-driven approach to error localization based on supervised learning. Nate analyzes a large corpus of training data -- pairs of ill-typed programs and their "fixed" versions -- to automatically learn a model of where the error is most likely to be found. Given a new ill-typed program, Nate executes the model to generate a list of potential blame assignments ranked by likelihood. We evaluate Nate by comparing its precision to the state of the art on a set of over 5,000 ill-typed OCaml programs drawn from two instances of an introductory programming course. We show that when the top-ranked blame assignment is considered, Nate's data-driven model is able to correctly predict the exact sub-expression that should be changed 72% of the time, 28 points higher than OCaml and 16 points higher than the state-of-the-art SHErrLoc tool. Furthermore, Nate's accuracy surpasses 85% when we consider the top two locations and reaches 91% if we consider the top three. Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala |
Proc. ACM Program. Lang. | 2 |