EDBT 2026 Demo / reviewers in the wild / expert
Antoni Karpinski
dblp:295/3538
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
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 |
Software testing · 61% Debugging and program repair · 30% Compilers and program optimization · 9% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
compiler testing |
0.5 | 1 | 2021 | Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021 |
Debugging and program repair › automated debugging
delta debugging |
0.5 | 1 | 2021 | Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021 |
Software testing › test optimization
test case reduction |
0.5 | 1 | 2021 | Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021 |
Compilers and program optimization
intermediate representation |
0.1 | 1 | 2021 | Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021 |
Methods — techniques the papers use, named apart from their topics
semantics-preserving transformation · 0.5deduplication · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Test-case reduction and deduplication almost for free with transformation-based compiler testingabstractRecent transformation-based approaches to compiler testing look for mismatches between the results of pairs of equivalent programs, where one program is derived from the other by randomly applying semantics-preserving transformations. We present a formulation of transformation-based compiler testing that provides effective test-case reduction almost for free: if transformations are designed to be as small and independent as possible, standard delta debugging can be used to shrink a bug-inducing transformation sequence to a smaller subsequence that still triggers the bug. The bug can then be reported as a delta between an original and minimally-transformed program. Minimized transformation sequences can also be used to heuristically deduplicate a set of bug-inducing tests, recommending manual investigation of those that involve disparate types of transformations and thus may have different root causes. We demonstrate the effectiveness of our approach via a new tool, spirv-fuzz, the first compiler-testing tool for the SPIR-V intermediate representation that underpins the Vulkan GPU programming model. Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski |
PLDI | 6 |