Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Gustav Munkby

dblp:66/3361 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Programming languages and type systems
type inference
0.112009
Type Inference for Soft-Error Fault-Tolerance Prediction · ASE 2009
Hardware reliability and fault tolerance
soft errors
0.112009
Type Inference for Soft-Error Fault-Tolerance Prediction · ASE 2009
Program analysis
data flow analysis
0.012009
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
YearPublicationVenuePosition
2011 Automating exception-safety classification
Gustav Munkby, Sibylle Schupp
Sci. Comput. Program.1
2009 Type Inference for Soft-Error Fault-Tolerance Prediction
abstract
Software 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
ASE1