Antoni Karpinski

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

TopicWeightPapersLastEvidence papers
Software testing
compiler testing
0.512021
Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021
Debugging and program repair › automated debugging
delta debugging
0.512021
Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021
Software testing › test optimization
test case reduction
0.512021
Test-case reduction and deduplication almost for free with transformation-based compiler testing · PLDI 2021
Compilers and program optimization
intermediate representation
0.112021
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
YearPublicationVenuePosition
2021 Test-case reduction and deduplication almost for free with transformation-based compiler testing
abstract
Recent 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
PLDI6