EDBT 2026 Demo / reviewers in the wild / expert

Christopher A. Mackie

dblp:190/1244 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 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
Program analysis · 70% Programming languages and type systems · 30%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › error detection
compile-time error detection		 0.212016
Preventing signedness errors in numerical computations in Java · SIGSOFT FSE 2016
Program analysis
static analysis		 0.212016
Preventing signedness errors in numerical computations in Java · SIGSOFT FSE 2016
Programming languages and type systems
type systems		 0.212016
Preventing signedness errors in numerical computations in Java · SIGSOFT FSE 2016
Program analysis › static analysis
bug detection		 0.112016
Preventing signedness errors in numerical computations in Java · SIGSOFT FSE 2016

Methods — techniques the papers use, named apart from their topics

type checking · 0.2pluggable type system · 0.2
YearPublicationVenuePosition
2016 Preventing signedness errors in numerical computations in Java
abstract
We have developed and implemented a type system, the Signedness Type System, that captures usage of signed and unsigned integers in Java programs. This type system enables developers to detect errors regarding unsigned integers at compile time, and guarantees that such errors cannot occur at run time. In a case study. our type system proved easy to use and detected a previously unknown bug. Our type system is implemented as the Signedness Checker and will be available with the Checker Framework (http://CheckerFramework.org/).
Christopher A. Mackie
 SIGSOFT FSE1