19 research outputs found
Juridical Framework of Voluntary Agreements in Italy and Policy Relevance at the Local Level
Zum mittelindischen Futurum auf -hi- In: Gesellschaft fĂĽr Sprache und Sprachen - 19. Internationale Jahrestagung - Linguistik-Tage Freiburg im Breisgau 2.-4. 3. 2010 - Programm
Dérivation nominale et innovations dans les langues indo-européennes anciennes. Actes du colloque international de l’université de Rouen (ÉRIAC), 11-12 octobre 2018, sous la direction de Alain Blanc, Isabelle Boehm, Lyon, mom, 2021
Enlarging the spectrum of cluster headache: Can voice analysis reveal an extracranial autonomic involvement?
Test-case reduction and deduplication almost for free with transformation-based compiler testing
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