FRINK Linked Data Fragments server

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

• W2149674423 abstract "We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained, off-the-shelf SMT solvers are used to check whether the simulation relation actually holds. The algorithm is sound: insufficient data will cause the proof to fail. We demonstrate a prototype implementation, called DDEC, of our algorithm, which is the first sound equivalence checker for loops written in x86 assembly." @default.
• W2149674423 created "2016-06-24" @default.
• W2149674423 creator A5028264088 @default.
• W2149674423 creator A5054300851 @default.
• W2149674423 creator A5077176328 @default.
• W2149674423 creator A5087402475 @default.
• W2149674423 date "2013-10-29" @default.
• W2149674423 modified "2023-10-17" @default.
• W2149674423 title "Data-driven equivalence checking" @default.
• W2149674423 cites W1500085611 @default.
• W2149674423 cites W1510196500 @default.
• W2149674423 cites W1545038039 @default.
• W2149674423 cites W1750827721 @default.
• W2149674423 cites W1865448657 @default.
• W2149674423 cites W1908449836 @default.
• W2149674423 cites W1963571656 @default.
• W2149674423 cites W1966982815 @default.
• W2149674423 cites W1977279860 @default.
• W2149674423 cites W2030906223 @default.
• W2149674423 cites W2040856861 @default.
• W2149674423 cites W2045437741 @default.
• W2149674423 cites W2049890071 @default.
• W2149674423 cites W2074888021 @default.
• W2149674423 cites W2083941582 @default.
• W2149674423 cites W2091355737 @default.
• W2149674423 cites W2098278465 @default.
• W2149674423 cites W2108776051 @default.
• W2149674423 cites W2110908283 @default.
• W2149674423 cites W2113203238 @default.
• W2149674423 cites W2113489899 @default.
• W2149674423 cites W2117120663 @default.
• W2149674423 cites W2117930267 @default.
• W2149674423 cites W2152397470 @default.
• W2149674423 cites W2160145830 @default.
• W2149674423 cites W2293092623 @default.
• W2149674423 cites W2294628582 @default.
• W2149674423 cites W3137139687 @default.
• W2149674423 cites W4206368310 @default.
• W2149674423 cites W4242364663 @default.
• W2149674423 cites W4301666354 @default.
• W2149674423 doi "https://doi.org/10.1145/2509136.2509509" @default.
• W2149674423 hasPublicationYear "2013" @default.
• W2149674423 type Work @default.
• W2149674423 sameAs 2149674423 @default.
• W2149674423 citedByCount "68" @default.
• W2149674423 countsByYear W21496744232014 @default.
• W2149674423 countsByYear W21496744232015 @default.
• W2149674423 countsByYear W21496744232016 @default.
• W2149674423 countsByYear W21496744232017 @default.
• W2149674423 countsByYear W21496744232018 @default.
• W2149674423 countsByYear W21496744232019 @default.
• W2149674423 countsByYear W21496744232020 @default.
• W2149674423 countsByYear W21496744232021 @default.
• W2149674423 countsByYear W21496744232022 @default.
• W2149674423 countsByYear W21496744232023 @default.
• W2149674423 crossrefType "proceedings-article" @default.
• W2149674423 hasAuthorship W2149674423A5028264088 @default.
• W2149674423 hasAuthorship W2149674423A5054300851 @default.
• W2149674423 hasAuthorship W2149674423A5077176328 @default.
• W2149674423 hasAuthorship W2149674423A5087402475 @default.
• W2149674423 hasConcept C110251889 @default.
• W2149674423 hasConcept C11413529 @default.
• W2149674423 hasConcept C118615104 @default.
• W2149674423 hasConcept C124101348 @default.
• W2149674423 hasConcept C156103551 @default.
• W2149674423 hasConcept C162319229 @default.
• W2149674423 hasConcept C170723468 @default.
• W2149674423 hasConcept C199360897 @default.
• W2149674423 hasConcept C25343380 @default.
• W2149674423 hasConcept C2777904410 @default.
• W2149674423 hasConcept C2780069185 @default.
• W2149674423 hasConcept C33923547 @default.
• W2149674423 hasConcept C41008148 @default.
• W2149674423 hasConcept C80444323 @default.
• W2149674423 hasConcept C96654402 @default.
• W2149674423 hasConceptScore W2149674423C110251889 @default.
• W2149674423 hasConceptScore W2149674423C11413529 @default.
• W2149674423 hasConceptScore W2149674423C118615104 @default.
• W2149674423 hasConceptScore W2149674423C124101348 @default.
• W2149674423 hasConceptScore W2149674423C156103551 @default.
• W2149674423 hasConceptScore W2149674423C162319229 @default.
• W2149674423 hasConceptScore W2149674423C170723468 @default.
• W2149674423 hasConceptScore W2149674423C199360897 @default.
• W2149674423 hasConceptScore W2149674423C25343380 @default.
• W2149674423 hasConceptScore W2149674423C2777904410 @default.
• W2149674423 hasConceptScore W2149674423C2780069185 @default.
• W2149674423 hasConceptScore W2149674423C33923547 @default.
• W2149674423 hasConceptScore W2149674423C41008148 @default.
• W2149674423 hasConceptScore W2149674423C80444323 @default.
• W2149674423 hasConceptScore W2149674423C96654402 @default.
• W2149674423 hasLocation W21496744231 @default.
• W2149674423 hasOpenAccess W2149674423 @default.
• W2149674423 hasPrimaryLocation W21496744231 @default.
• W2149674423 hasRelatedWork W1019559270 @default.
• W2149674423 hasRelatedWork W2031924784 @default.
• W2149674423 hasRelatedWork W2037318704 @default.
• W2149674423 hasRelatedWork W2103438440 @default.
• W2149674423 hasRelatedWork W2103625331 @default.
• W2149674423 hasRelatedWork W2149674423 @default.
• W2149674423 hasRelatedWork W2183551263 @default.

• next