FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2530895108> ?p ?o ?g. }

• W2530895108 abstract "A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a collection of identifiers V (variable names). This paper introduces the skeletal program enumeration (SPE) problem: Given a syntactic skeleton P and a set of variables V , enumerate a set of programs P exhibiting all possible variable usage patterns within P. It proposes an effective realization of SPE for systematic, rigorous compiler testing by leveraging three important observations: (1) Programs with different variable usage patterns exhibit diverse control- and data-dependence, and help exploit different compiler optimizations; (2) most real compiler bugs were revealed by small tests (i.e., small-sized P) — this “small-scope” observation opens up SPE for practical compiler validation; and (3) SPE is exhaustive w.r.t. a given syntactic skeleton and variable set, offering a level of guarantee absent from all existing compiler testing techniques." @default.
• W2530895108 created "2016-10-21" @default.
• W2530895108 creator A5029554097 @default.
• W2530895108 creator A5065937088 @default.
• W2530895108 creator A5078231842 @default.
• W2530895108 date "2017-06-14" @default.
• W2530895108 modified "2023-10-09" @default.
• W2530895108 title "Skeletal program enumeration for rigorous compiler testing" @default.
• W2530895108 cites W1557360661 @default.
• W2530895108 cites W1799755352 @default.
• W2530895108 cites W1966021031 @default.
• W2530895108 cites W1976484136 @default.
• W2530895108 cites W1978679823 @default.
• W2530895108 cites W1990069336 @default.
• W2530895108 cites W2019793857 @default.
• W2530895108 cites W2029976661 @default.
• W2530895108 cites W2030405312 @default.
• W2530895108 cites W2031872041 @default.
• W2530895108 cites W2040856861 @default.
• W2530895108 cites W2049695835 @default.
• W2530895108 cites W2056068307 @default.
• W2530895108 cites W2071952624 @default.
• W2530895108 cites W2081454722 @default.
• W2530895108 cites W2087998687 @default.
• W2530895108 cites W2095445208 @default.
• W2530895108 cites W2108557864 @default.
• W2530895108 cites W2118155805 @default.
• W2530895108 cites W2122384298 @default.
• W2530895108 cites W2125126351 @default.
• W2530895108 cites W2129695855 @default.
• W2530895108 cites W2132984320 @default.
• W2530895108 cites W2152949134 @default.
• W2530895108 cites W2155877593 @default.
• W2530895108 cites W2159933174 @default.
• W2530895108 cites W2170682382 @default.
• W2530895108 cites W2170737051 @default.
• W2530895108 cites W2171683519 @default.
• W2530895108 cites W21977468 @default.
• W2530895108 cites W2390518826 @default.
• W2530895108 cites W2461570336 @default.
• W2530895108 cites W2532737545 @default.
• W2530895108 cites W2568721247 @default.
• W2530895108 cites W2963504583 @default.
• W2530895108 cites W4238083723 @default.
• W2530895108 cites W4244488020 @default.
• W2530895108 cites W4253606798 @default.
• W2530895108 cites W4255006224 @default.
• W2530895108 doi "https://doi.org/10.1145/3062341.3062379" @default.
• W2530895108 hasPublicationYear "2017" @default.
• W2530895108 type Work @default.
• W2530895108 sameAs 2530895108 @default.
• W2530895108 citedByCount "51" @default.
• W2530895108 countsByYear W25308951082018 @default.
• W2530895108 countsByYear W25308951082019 @default.
• W2530895108 countsByYear W25308951082020 @default.
• W2530895108 countsByYear W25308951082021 @default.
• W2530895108 countsByYear W25308951082022 @default.
• W2530895108 countsByYear W25308951082023 @default.
• W2530895108 crossrefType "proceedings-article" @default.
• W2530895108 hasAuthorship W2530895108A5029554097 @default.
• W2530895108 hasAuthorship W2530895108A5065937088 @default.
• W2530895108 hasAuthorship W2530895108A5078231842 @default.
• W2530895108 hasBestOaLocation W25308951082 @default.
• W2530895108 hasConcept C111564260 @default.
• W2530895108 hasConcept C11413529 @default.
• W2530895108 hasConcept C118615104 @default.
• W2530895108 hasConcept C134306372 @default.
• W2530895108 hasConcept C154504017 @default.
• W2530895108 hasConcept C156340839 @default.
• W2530895108 hasConcept C165464430 @default.
• W2530895108 hasConcept C169590947 @default.
• W2530895108 hasConcept C177264268 @default.
• W2530895108 hasConcept C182365436 @default.
• W2530895108 hasConcept C190902152 @default.
• W2530895108 hasConcept C199360897 @default.
• W2530895108 hasConcept C2778012447 @default.
• W2530895108 hasConcept C29331672 @default.
• W2530895108 hasConcept C33923547 @default.
• W2530895108 hasConcept C41008148 @default.
• W2530895108 hasConcept C68366613 @default.
• W2530895108 hasConcept C80444323 @default.
• W2530895108 hasConceptScore W2530895108C111564260 @default.
• W2530895108 hasConceptScore W2530895108C11413529 @default.
• W2530895108 hasConceptScore W2530895108C118615104 @default.
• W2530895108 hasConceptScore W2530895108C134306372 @default.
• W2530895108 hasConceptScore W2530895108C154504017 @default.
• W2530895108 hasConceptScore W2530895108C156340839 @default.
• W2530895108 hasConceptScore W2530895108C165464430 @default.
• W2530895108 hasConceptScore W2530895108C169590947 @default.
• W2530895108 hasConceptScore W2530895108C177264268 @default.
• W2530895108 hasConceptScore W2530895108C182365436 @default.
• W2530895108 hasConceptScore W2530895108C190902152 @default.
• W2530895108 hasConceptScore W2530895108C199360897 @default.
• W2530895108 hasConceptScore W2530895108C2778012447 @default.
• W2530895108 hasConceptScore W2530895108C29331672 @default.
• W2530895108 hasConceptScore W2530895108C33923547 @default.
• W2530895108 hasConceptScore W2530895108C41008148 @default.
• W2530895108 hasConceptScore W2530895108C68366613 @default.
• W2530895108 hasConceptScore W2530895108C80444323 @default.
• W2530895108 hasFunder F4320306076 @default.

• next