FRINK Linked Data Fragments server

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

• W2805697672 abstract "Code translation is a staple component of program analysis. A lifter is a code translation unit that translates low-level code to a higher-level intermediate representation (IR). Lifters thus enable a host of static and dynamic analyses for such low-level code. However, writing a lifter is a tedious manual process which must be repeated for every architecture an analysis aims to support. We introduce cross-architecture lifter synthesis, a novel approach that automatically synthesizes lifters for previously unsupported architectures. Our insight is that lifter synthesis can be bootstrapped with existing IR sketches that exploit the shared semantic properties of heterogeneous architecture instruction sets. We show that our approach automates a significant amount of translation effort for a previously unsupported instruction set, and that it enables discovery of new bugs on new architecture targets through reuse of an existing IR-based analysis." @default.
• W2805697672 created "2018-06-13" @default.
• W2805697672 creator A5032356672 @default.
• W2805697672 creator A5056334354 @default.
• W2805697672 date "2018-01-01" @default.
• W2805697672 modified "2023-10-06" @default.
• W2805697672 title "Cross-Architecture Lifter Synthesis" @default.
• W2805697672 cites W1582456956 @default.
• W2805697672 cites W2030405312 @default.
• W2805697672 cites W2094878426 @default.
• W2805697672 cites W2138788987 @default.
• W2805697672 cites W2294286398 @default.
• W2805697672 cites W2328210346 @default.
• W2805697672 cites W2344444819 @default.
• W2805697672 cites W2461570336 @default.
• W2805697672 cites W2547390950 @default.
• W2805697672 cites W2767373589 @default.
• W2805697672 cites W2884017574 @default.
• W2805697672 cites W3095934469 @default.
• W2805697672 cites W4234318285 @default.
• W2805697672 cites W4246166885 @default.
• W2805697672 cites W4253872762 @default.
• W2805697672 doi "https://doi.org/10.1007/978-3-319-92970-5_10" @default.
• W2805697672 hasPublicationYear "2018" @default.
• W2805697672 type Work @default.
• W2805697672 sameAs 2805697672 @default.
• W2805697672 citedByCount "0" @default.
• W2805697672 crossrefType "book-chapter" @default.
• W2805697672 hasAuthorship W2805697672A5032356672 @default.
• W2805697672 hasAuthorship W2805697672A5056334354 @default.
• W2805697672 hasConcept C104317684 @default.
• W2805697672 hasConcept C105580179 @default.
• W2805697672 hasConcept C118524514 @default.
• W2805697672 hasConcept C123657996 @default.
• W2805697672 hasConcept C142362112 @default.
• W2805697672 hasConcept C149364088 @default.
• W2805697672 hasConcept C153349607 @default.
• W2805697672 hasConcept C165696696 @default.
• W2805697672 hasConcept C169590947 @default.
• W2805697672 hasConcept C177264268 @default.
• W2805697672 hasConcept C17744445 @default.
• W2805697672 hasConcept C185592680 @default.
• W2805697672 hasConcept C18903297 @default.
• W2805697672 hasConcept C199360897 @default.
• W2805697672 hasConcept C199539241 @default.
• W2805697672 hasConcept C206588197 @default.
• W2805697672 hasConcept C2776359362 @default.
• W2805697672 hasConcept C2776760102 @default.
• W2805697672 hasConcept C2777904410 @default.
• W2805697672 hasConcept C2778583558 @default.
• W2805697672 hasConcept C38652104 @default.
• W2805697672 hasConcept C41008148 @default.
• W2805697672 hasConcept C55493867 @default.
• W2805697672 hasConcept C77660490 @default.
• W2805697672 hasConcept C86803240 @default.
• W2805697672 hasConcept C94625758 @default.
• W2805697672 hasConcept C98045186 @default.
• W2805697672 hasConceptScore W2805697672C104317684 @default.
• W2805697672 hasConceptScore W2805697672C105580179 @default.
• W2805697672 hasConceptScore W2805697672C118524514 @default.
• W2805697672 hasConceptScore W2805697672C123657996 @default.
• W2805697672 hasConceptScore W2805697672C142362112 @default.
• W2805697672 hasConceptScore W2805697672C149364088 @default.
• W2805697672 hasConceptScore W2805697672C153349607 @default.
• W2805697672 hasConceptScore W2805697672C165696696 @default.
• W2805697672 hasConceptScore W2805697672C169590947 @default.
• W2805697672 hasConceptScore W2805697672C177264268 @default.
• W2805697672 hasConceptScore W2805697672C17744445 @default.
• W2805697672 hasConceptScore W2805697672C185592680 @default.
• W2805697672 hasConceptScore W2805697672C18903297 @default.
• W2805697672 hasConceptScore W2805697672C199360897 @default.
• W2805697672 hasConceptScore W2805697672C199539241 @default.
• W2805697672 hasConceptScore W2805697672C206588197 @default.
• W2805697672 hasConceptScore W2805697672C2776359362 @default.
• W2805697672 hasConceptScore W2805697672C2776760102 @default.
• W2805697672 hasConceptScore W2805697672C2777904410 @default.
• W2805697672 hasConceptScore W2805697672C2778583558 @default.
• W2805697672 hasConceptScore W2805697672C38652104 @default.
• W2805697672 hasConceptScore W2805697672C41008148 @default.
• W2805697672 hasConceptScore W2805697672C55493867 @default.
• W2805697672 hasConceptScore W2805697672C77660490 @default.
• W2805697672 hasConceptScore W2805697672C86803240 @default.
• W2805697672 hasConceptScore W2805697672C94625758 @default.
• W2805697672 hasConceptScore W2805697672C98045186 @default.
• W2805697672 hasLocation W28056976721 @default.
• W2805697672 hasOpenAccess W2805697672 @default.
• W2805697672 hasPrimaryLocation W28056976721 @default.
• W2805697672 hasRelatedWork W1519496539 @default.
• W2805697672 hasRelatedWork W1802778759 @default.
• W2805697672 hasRelatedWork W1857216122 @default.
• W2805697672 hasRelatedWork W2002221083 @default.
• W2805697672 hasRelatedWork W2016464602 @default.
• W2805697672 hasRelatedWork W2038774992 @default.
• W2805697672 hasRelatedWork W2114182959 @default.
• W2805697672 hasRelatedWork W2119361011 @default.
• W2805697672 hasRelatedWork W2343144946 @default.
• W2805697672 hasRelatedWork W2500779421 @default.
• W2805697672 hasRelatedWork W2547390950 @default.
• W2805697672 hasRelatedWork W2605392703 @default.
• W2805697672 hasRelatedWork W2606135372 @default.

• next