Demo Data from EDBT 2026 / reviewers in the wild / expert
Gustav Munkby
dblp:66/3361
· DBLP profile ↗
2ranked-venue papers
2as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author
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 · 77% Program analysis · 23% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Hardware reliability and fault tolerance · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
type inference |
0.1 | 1 | 2009 | Type Inference for Soft-Error Fault-Tolerance Prediction · ASE 2009 |
Hardware reliability and fault tolerance
soft errors |
0.1 | 1 | 2009 | Type Inference for Soft-Error Fault-Tolerance Prediction · ASE 2009 |
Program analysis
data flow analysis |
0.0 | 1 | 2009 | Type Inference for Soft-Error Fault-Tolerance Prediction · ASE 2009 |
Methods — techniques the papers use, named apart from their topics
type system · 0.2fault injection · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Automating exception-safety classification
Gustav Munkby, Sibylle Schupp |
Sci. Comput. Program. | 1 |
| 2009 | Type Inference for Soft-Error Fault-Tolerance PredictionabstractSoftware systems are becoming increasingly vulnerable to a new class of soft errors, originating from voltage spikes produced by cosmic radiation. The standard technique for assessing the source-level impact of these soft errors, fault injection - essentially a black-box testing technique - provides limited high-level information. Since soft errors can occur anywhere, even control-structured white-box techniques offer little insight. We propose a type-based approach, founded on data-flow structure, to classify the usage pattern of registers and memory cells. To capture all soft errors, the type system is defined at the assembly level, close to the hardware, and allows inferring types in the untyped assembly representation. In a case study, we apply our type inference scheme to a prototype brake-by-wire controller, developed by Volvo Technology, and identify a high correlation between types and fault-injection results. The case study confirms that the inferred types are good predictors for soft-error impact. Gustav Munkby, Sibylle Schupp |
ASE | 1 |