FRINK Linked Data Fragments server

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

• W2003164052 abstract "Compilers should not miscompile. Our work addresses problems in developing peephole optimizations that perform local rewriting to improve the efficiency of LLVM code. These optimizations are individually difficult to get right, particularly in the presence of undefined behavior; taken together they represent a persistent source of bugs. This paper presents Alive, a domain-specific language for writing optimizations and for automatically either proving them correct or else generating counterexamples. Furthermore, Alive can be automatically translated into C++ code that is suitable for inclusion in an LLVM optimization pass. Alive is based on an attempt to balance usability and formal methods; for example, it captures---but largely hides---the detailed semantics of three different kinds of undefined behavior in LLVM. We have translated more than 300 LLVM optimizations into Alive and, in the process, found that eight of them were wrong." @default.
• W2003164052 created "2016-06-24" @default.
• W2003164052 creator A5011881274 @default.
• W2003164052 creator A5066046345 @default.
• W2003164052 creator A5087342649 @default.
• W2003164052 creator A5088560717 @default.
• W2003164052 date "2015-06-03" @default.
• W2003164052 modified "2023-10-12" @default.
• W2003164052 title "Provably correct peephole optimizations with alive" @default.
• W2003164052 cites W146262440 @default.
• W2003164052 cites W1587844310 @default.
• W2003164052 cites W1977279860 @default.
• W2003164052 cites W1982205631 @default.
• W2003164052 cites W1996892501 @default.
• W2003164052 cites W2000659103 @default.
• W2003164052 cites W2023035194 @default.
• W2003164052 cites W2040856861 @default.
• W2003164052 cites W2045025591 @default.
• W2003164052 cites W2081917916 @default.
• W2003164052 cites W2085050643 @default.
• W2003164052 cites W2088056808 @default.
• W2003164052 cites W2101635160 @default.
• W2003164052 cites W2119664062 @default.
• W2003164052 cites W2126823808 @default.
• W2003164052 cites W2127919458 @default.
• W2003164052 cites W2128433129 @default.
• W2003164052 cites W2134087751 @default.
• W2003164052 cites W2144540543 @default.
• W2003164052 cites W2160145830 @default.
• W2003164052 cites W2160947267 @default.
• W2003164052 cites W2164264520 @default.
• W2003164052 cites W2169336925 @default.
• W2003164052 cites W2170737051 @default.
• W2003164052 cites W2294628582 @default.
• W2003164052 cites W364774736 @default.
• W2003164052 cites W4206368310 @default.
• W2003164052 cites W4238083723 @default.
• W2003164052 cites W4298447450 @default.
• W2003164052 cites W4301666354 @default.
• W2003164052 doi "https://doi.org/10.1145/2737924.2737965" @default.
• W2003164052 hasPublicationYear "2015" @default.
• W2003164052 type Work @default.
• W2003164052 sameAs 2003164052 @default.
• W2003164052 citedByCount "91" @default.
• W2003164052 countsByYear W20031640522015 @default.
• W2003164052 countsByYear W20031640522016 @default.
• W2003164052 countsByYear W20031640522017 @default.
• W2003164052 countsByYear W20031640522018 @default.
• W2003164052 countsByYear W20031640522019 @default.
• W2003164052 countsByYear W20031640522020 @default.
• W2003164052 countsByYear W20031640522021 @default.
• W2003164052 countsByYear W20031640522022 @default.
• W2003164052 countsByYear W20031640522023 @default.
• W2003164052 crossrefType "proceedings-article" @default.
• W2003164052 hasAuthorship W2003164052A5011881274 @default.
• W2003164052 hasAuthorship W2003164052A5066046345 @default.
• W2003164052 hasAuthorship W2003164052A5087342649 @default.
• W2003164052 hasAuthorship W2003164052A5088560717 @default.
• W2003164052 hasBestOaLocation W20031640522 @default.
• W2003164052 hasConcept C111919701 @default.
• W2003164052 hasConcept C134306372 @default.
• W2003164052 hasConcept C154690210 @default.
• W2003164052 hasConcept C169590947 @default.
• W2003164052 hasConcept C170130773 @default.
• W2003164052 hasConcept C177264268 @default.
• W2003164052 hasConcept C184337299 @default.
• W2003164052 hasConcept C190902152 @default.
• W2003164052 hasConcept C199360897 @default.
• W2003164052 hasConcept C2776760102 @default.
• W2003164052 hasConcept C33923547 @default.
• W2003164052 hasConcept C36503486 @default.
• W2003164052 hasConcept C41008148 @default.
• W2003164052 hasConceptScore W2003164052C111919701 @default.
• W2003164052 hasConceptScore W2003164052C134306372 @default.
• W2003164052 hasConceptScore W2003164052C154690210 @default.
• W2003164052 hasConceptScore W2003164052C169590947 @default.
• W2003164052 hasConceptScore W2003164052C170130773 @default.
• W2003164052 hasConceptScore W2003164052C177264268 @default.
• W2003164052 hasConceptScore W2003164052C184337299 @default.
• W2003164052 hasConceptScore W2003164052C190902152 @default.
• W2003164052 hasConceptScore W2003164052C199360897 @default.
• W2003164052 hasConceptScore W2003164052C2776760102 @default.
• W2003164052 hasConceptScore W2003164052C33923547 @default.
• W2003164052 hasConceptScore W2003164052C36503486 @default.
• W2003164052 hasConceptScore W2003164052C41008148 @default.
• W2003164052 hasLocation W20031640521 @default.
• W2003164052 hasLocation W20031640522 @default.
• W2003164052 hasOpenAccess W2003164052 @default.
• W2003164052 hasPrimaryLocation W20031640521 @default.
• W2003164052 hasRelatedWork W1494438798 @default.
• W2003164052 hasRelatedWork W1515967176 @default.
• W2003164052 hasRelatedWork W1529289035 @default.
• W2003164052 hasRelatedWork W1560030472 @default.
• W2003164052 hasRelatedWork W157064208 @default.
• W2003164052 hasRelatedWork W1840650251 @default.
• W2003164052 hasRelatedWork W2034568462 @default.
• W2003164052 hasRelatedWork W2045239259 @default.
• W2003164052 hasRelatedWork W2126981475 @default.
• W2003164052 hasRelatedWork W979536633 @default.
• W2003164052 isParatext "false" @default.

• next