FRINK Linked Data Fragments server

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

• W3109826332 endingPage "29" @default.
• W3109826332 startingPage "1" @default.
• W3109826332 abstract "Automatic translation validation across the unoptimized intermediate representation (IR) of the original source code and the optimized executable assembly code is a desirable capability, and has the potential to compete with existing approaches to verified compilation such as CompCert. A difficult subproblem is the automatic identification of the correlations across the transitions between the two programs' respective locations. We present a counterexample-guided algorithm to identify these correlations in a robust and scalable manner. Our algorithm has both theoretical and empirical advantages over prior work in this problem space." @default.
• W3109826332 created "2020-12-07" @default.
• W3109826332 creator A5024879915 @default.
• W3109826332 creator A5048218106 @default.
• W3109826332 creator A5066449432 @default.
• W3109826332 date "2020-11-13" @default.
• W3109826332 modified "2023-09-26" @default.
• W3109826332 title "Counterexample-guided correlation algorithm for translation validation" @default.
• W3109826332 cites W138311957 @default.
• W3109826332 cites W1498946538 @default.
• W3109826332 cites W1545038039 @default.
• W3109826332 cites W1587844310 @default.
• W3109826332 cites W1806382567 @default.
• W3109826332 cites W1991504773 @default.
• W3109826332 cites W2002816392 @default.
• W3109826332 cites W2004633100 @default.
• W3109826332 cites W2013156670 @default.
• W3109826332 cites W2040856861 @default.
• W3109826332 cites W2050948770 @default.
• W3109826332 cites W2067871120 @default.
• W3109826332 cites W2076667206 @default.
• W3109826332 cites W2129695855 @default.
• W3109826332 cites W2134087751 @default.
• W3109826332 cites W2144387778 @default.
• W3109826332 cites W2149674423 @default.
• W3109826332 cites W2149996206 @default.
• W3109826332 cites W2152397470 @default.
• W3109826332 cites W2163132186 @default.
• W3109826332 cites W2186809249 @default.
• W3109826332 cites W2187774691 @default.
• W3109826332 cites W2760670085 @default.
• W3109826332 cites W2767813599 @default.
• W3109826332 cites W2771024256 @default.
• W3109826332 cites W2772752644 @default.
• W3109826332 cites W2810373436 @default.
• W3109826332 cites W2954725723 @default.
• W3109826332 cites W2987907651 @default.
• W3109826332 cites W4206368310 @default.
• W3109826332 cites W4292002172 @default.
• W3109826332 cites W72265089 @default.
• W3109826332 doi "https://doi.org/10.1145/3428289" @default.
• W3109826332 hasPublicationYear "2020" @default.
• W3109826332 type Work @default.
• W3109826332 sameAs 3109826332 @default.
• W3109826332 citedByCount "8" @default.
• W3109826332 countsByYear W31098263322021 @default.
• W3109826332 countsByYear W31098263322022 @default.
• W3109826332 countsByYear W31098263322023 @default.
• W3109826332 crossrefType "journal-article" @default.
• W3109826332 hasAuthorship W3109826332A5024879915 @default.
• W3109826332 hasAuthorship W3109826332A5048218106 @default.
• W3109826332 hasAuthorship W3109826332A5066449432 @default.
• W3109826332 hasBestOaLocation W31098263321 @default.
• W3109826332 hasConcept C104317684 @default.
• W3109826332 hasConcept C105580179 @default.
• W3109826332 hasConcept C11413529 @default.
• W3109826332 hasConcept C116834253 @default.
• W3109826332 hasConcept C118615104 @default.
• W3109826332 hasConcept C149364088 @default.
• W3109826332 hasConcept C160145156 @default.
• W3109826332 hasConcept C162838799 @default.
• W3109826332 hasConcept C177264268 @default.
• W3109826332 hasConcept C17744445 @default.
• W3109826332 hasConcept C185592680 @default.
• W3109826332 hasConcept C199360897 @default.
• W3109826332 hasConcept C199539241 @default.
• W3109826332 hasConcept C2776359362 @default.
• W3109826332 hasConcept C2776760102 @default.
• W3109826332 hasConcept C33923547 @default.
• W3109826332 hasConcept C41008148 @default.
• W3109826332 hasConcept C43126263 @default.
• W3109826332 hasConcept C48044578 @default.
• W3109826332 hasConcept C55493867 @default.
• W3109826332 hasConcept C59822182 @default.
• W3109826332 hasConcept C77088390 @default.
• W3109826332 hasConcept C80444323 @default.
• W3109826332 hasConcept C86803240 @default.
• W3109826332 hasConcept C94625758 @default.
• W3109826332 hasConceptScore W3109826332C104317684 @default.
• W3109826332 hasConceptScore W3109826332C105580179 @default.
• W3109826332 hasConceptScore W3109826332C11413529 @default.
• W3109826332 hasConceptScore W3109826332C116834253 @default.
• W3109826332 hasConceptScore W3109826332C118615104 @default.
• W3109826332 hasConceptScore W3109826332C149364088 @default.
• W3109826332 hasConceptScore W3109826332C160145156 @default.
• W3109826332 hasConceptScore W3109826332C162838799 @default.
• W3109826332 hasConceptScore W3109826332C177264268 @default.
• W3109826332 hasConceptScore W3109826332C17744445 @default.
• W3109826332 hasConceptScore W3109826332C185592680 @default.
• W3109826332 hasConceptScore W3109826332C199360897 @default.
• W3109826332 hasConceptScore W3109826332C199539241 @default.
• W3109826332 hasConceptScore W3109826332C2776359362 @default.
• W3109826332 hasConceptScore W3109826332C2776760102 @default.
• W3109826332 hasConceptScore W3109826332C33923547 @default.
• W3109826332 hasConceptScore W3109826332C41008148 @default.
• W3109826332 hasConceptScore W3109826332C43126263 @default.
• W3109826332 hasConceptScore W3109826332C48044578 @default.
• W3109826332 hasConceptScore W3109826332C55493867 @default.

• next