Matches in SemOpenAlex for { <https://semopenalex.org/work/W4240242535> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4240242535 endingPage "295" @default.
- W4240242535 startingPage "295" @default.
- W4240242535 abstract "Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the value-graphs of an original function and its transformed counterpart. In this paper, we present the design of such a validator for LLVM's intra-procedural optimizations, a design that does not require any instrumentation of the optimizer, nor any rewriting of the source code to compile, and needs to run only once to validate a pipeline of optimizations. We present the results of our preliminary experiments on a set of benchmarks that include GCC, a perl interpreter, SQLite3, and other C programs." @default.
- W4240242535 created "2022-05-12" @default.
- W4240242535 creator A5020613458 @default.
- W4240242535 creator A5031329578 @default.
- W4240242535 creator A5064972235 @default.
- W4240242535 date "2012-08-06" @default.
- W4240242535 modified "2023-09-26" @default.
- W4240242535 title "Evaluating value-graph translation validation for LLVM" @default.
- W4240242535 doi "https://doi.org/10.1145/2345156.1993533" @default.
- W4240242535 hasPublicationYear "2012" @default.
- W4240242535 type Work @default.
- W4240242535 citedByCount "0" @default.
- W4240242535 crossrefType "journal-article" @default.
- W4240242535 hasAuthorship W4240242535A5020613458 @default.
- W4240242535 hasAuthorship W4240242535A5031329578 @default.
- W4240242535 hasAuthorship W4240242535A5064972235 @default.
- W4240242535 hasBestOaLocation W42402425352 @default.
- W4240242535 hasConcept C102379954 @default.
- W4240242535 hasConcept C122783720 @default.
- W4240242535 hasConcept C132525143 @default.
- W4240242535 hasConcept C136764020 @default.
- W4240242535 hasConcept C154690210 @default.
- W4240242535 hasConcept C169590947 @default.
- W4240242535 hasConcept C177264268 @default.
- W4240242535 hasConcept C199360897 @default.
- W4240242535 hasConcept C200833197 @default.
- W4240242535 hasConcept C2777002779 @default.
- W4240242535 hasConcept C35292069 @default.
- W4240242535 hasConcept C41008148 @default.
- W4240242535 hasConcept C76782552 @default.
- W4240242535 hasConcept C80444323 @default.
- W4240242535 hasConceptScore W4240242535C102379954 @default.
- W4240242535 hasConceptScore W4240242535C122783720 @default.
- W4240242535 hasConceptScore W4240242535C132525143 @default.
- W4240242535 hasConceptScore W4240242535C136764020 @default.
- W4240242535 hasConceptScore W4240242535C154690210 @default.
- W4240242535 hasConceptScore W4240242535C169590947 @default.
- W4240242535 hasConceptScore W4240242535C177264268 @default.
- W4240242535 hasConceptScore W4240242535C199360897 @default.
- W4240242535 hasConceptScore W4240242535C200833197 @default.
- W4240242535 hasConceptScore W4240242535C2777002779 @default.
- W4240242535 hasConceptScore W4240242535C35292069 @default.
- W4240242535 hasConceptScore W4240242535C41008148 @default.
- W4240242535 hasConceptScore W4240242535C76782552 @default.
- W4240242535 hasConceptScore W4240242535C80444323 @default.
- W4240242535 hasIssue "6" @default.
- W4240242535 hasLocation W42402425351 @default.
- W4240242535 hasLocation W42402425352 @default.
- W4240242535 hasLocation W42402425353 @default.
- W4240242535 hasOpenAccess W4240242535 @default.
- W4240242535 hasPrimaryLocation W42402425351 @default.
- W4240242535 hasRelatedWork W131457901 @default.
- W4240242535 hasRelatedWork W1515791128 @default.
- W4240242535 hasRelatedWork W1519503583 @default.
- W4240242535 hasRelatedWork W2108174561 @default.
- W4240242535 hasRelatedWork W2998595860 @default.
- W4240242535 hasRelatedWork W3033264920 @default.
- W4240242535 hasRelatedWork W3162240892 @default.
- W4240242535 hasRelatedWork W3204620269 @default.
- W4240242535 hasRelatedWork W3207171446 @default.
- W4240242535 hasRelatedWork W4206368310 @default.
- W4240242535 hasVolume "47" @default.
- W4240242535 isParatext "false" @default.
- W4240242535 isRetracted "false" @default.
- W4240242535 workType "article" @default.