Matches in SemOpenAlex for { <https://semopenalex.org/work/W3110362426> ?p ?o ?g. }
- W3110362426 endingPage "28" @default.
- W3110362426 startingPage "1" @default.
- W3110362426 abstract "Academia has spent much effort into making context-sensitive analyses practical, with great profit. However, the implementation of context-sensitive optimizations , in contrast to analyses, is still not practical, due to code-size explosion. This growth happens because current technology requires the cloning of full paths in the Calling Context Tree. In this paper, we present a solution to this problem. We combine finite state machines and dynamic dispatching to allow fully context-sensitive specialization while cloning only functions that are effectively optimized. This technique makes it possible to apply very liberal optimizations, such as context-sensitive constant propagation, in large programs—something that could not have been easily done before. We demonstrate the viability of our idea by formalizing it in Prolog, and implementing it in LLVM. As a proof of concept, we have used our state machines to implement context-sensitive constant propagation in LLVM. The binaries produced by traditional full cloning are 2.63 times larger than the binaries that we generate with our state machines. When applied on Mozilla Firefox, our optimization increases binary size from 7.2MB to 9.2MB. Full cloning, in contrast, yields a binary of 34MB." @default.
- W3110362426 created "2020-12-07" @default.
- W3110362426 creator A5043645877 @default.
- W3110362426 creator A5078149140 @default.
- W3110362426 date "2020-11-13" @default.
- W3110362426 modified "2023-10-10" @default.
- W3110362426 title "Dynamic dispatch of context-sensitive optimizations" @default.
- W3110362426 cites W106036673 @default.
- W3110362426 cites W1557543533 @default.
- W3110362426 cites W1971014792 @default.
- W3110362426 cites W1977606188 @default.
- W3110362426 cites W1996146601 @default.
- W3110362426 cites W1997981086 @default.
- W3110362426 cites W1999517284 @default.
- W3110362426 cites W1999926936 @default.
- W3110362426 cites W2017971446 @default.
- W3110362426 cites W2040825319 @default.
- W3110362426 cites W2135992106 @default.
- W3110362426 cites W2136269217 @default.
- W3110362426 cites W2140147547 @default.
- W3110362426 cites W2141293928 @default.
- W3110362426 cites W2532319962 @default.
- W3110362426 cites W2553375745 @default.
- W3110362426 cites W2761620348 @default.
- W3110362426 cites W2761799536 @default.
- W3110362426 cites W2796645376 @default.
- W3110362426 cites W2889130485 @default.
- W3110362426 cites W2900044545 @default.
- W3110362426 cites W2978069623 @default.
- W3110362426 cites W3009007914 @default.
- W3110362426 cites W3030148664 @default.
- W3110362426 cites W3106774398 @default.
- W3110362426 cites W4251521744 @default.
- W3110362426 cites W4253459289 @default.
- W3110362426 cites W59486908 @default.
- W3110362426 doi "https://doi.org/10.1145/3428235" @default.
- W3110362426 hasPublicationYear "2020" @default.
- W3110362426 type Work @default.
- W3110362426 sameAs 3110362426 @default.
- W3110362426 citedByCount "2" @default.
- W3110362426 countsByYear W31103624262020 @default.
- W3110362426 countsByYear W31103624262022 @default.
- W3110362426 crossrefType "journal-article" @default.
- W3110362426 hasAuthorship W3110362426A5043645877 @default.
- W3110362426 hasAuthorship W3110362426A5078149140 @default.
- W3110362426 hasBestOaLocation W31103624261 @default.
- W3110362426 hasConcept C121050878 @default.
- W3110362426 hasConcept C139571649 @default.
- W3110362426 hasConcept C151730666 @default.
- W3110362426 hasConcept C169590947 @default.
- W3110362426 hasConcept C173608175 @default.
- W3110362426 hasConcept C177264268 @default.
- W3110362426 hasConcept C199360897 @default.
- W3110362426 hasConcept C2776760102 @default.
- W3110362426 hasConcept C2777027219 @default.
- W3110362426 hasConcept C2779343474 @default.
- W3110362426 hasConcept C33923547 @default.
- W3110362426 hasConcept C41008148 @default.
- W3110362426 hasConcept C48103436 @default.
- W3110362426 hasConcept C48372109 @default.
- W3110362426 hasConcept C80444323 @default.
- W3110362426 hasConcept C86803240 @default.
- W3110362426 hasConcept C94375191 @default.
- W3110362426 hasConceptScore W3110362426C121050878 @default.
- W3110362426 hasConceptScore W3110362426C139571649 @default.
- W3110362426 hasConceptScore W3110362426C151730666 @default.
- W3110362426 hasConceptScore W3110362426C169590947 @default.
- W3110362426 hasConceptScore W3110362426C173608175 @default.
- W3110362426 hasConceptScore W3110362426C177264268 @default.
- W3110362426 hasConceptScore W3110362426C199360897 @default.
- W3110362426 hasConceptScore W3110362426C2776760102 @default.
- W3110362426 hasConceptScore W3110362426C2777027219 @default.
- W3110362426 hasConceptScore W3110362426C2779343474 @default.
- W3110362426 hasConceptScore W3110362426C33923547 @default.
- W3110362426 hasConceptScore W3110362426C41008148 @default.
- W3110362426 hasConceptScore W3110362426C48103436 @default.
- W3110362426 hasConceptScore W3110362426C48372109 @default.
- W3110362426 hasConceptScore W3110362426C80444323 @default.
- W3110362426 hasConceptScore W3110362426C86803240 @default.
- W3110362426 hasConceptScore W3110362426C94375191 @default.
- W3110362426 hasFunder F4320322025 @default.
- W3110362426 hasIssue "OOPSLA" @default.
- W3110362426 hasLocation W31103624261 @default.
- W3110362426 hasLocation W31103624262 @default.
- W3110362426 hasOpenAccess W3110362426 @default.
- W3110362426 hasPrimaryLocation W31103624261 @default.
- W3110362426 hasRelatedWork W1576765900 @default.
- W3110362426 hasRelatedWork W1987653914 @default.
- W3110362426 hasRelatedWork W2030283002 @default.
- W3110362426 hasRelatedWork W2044609815 @default.
- W3110362426 hasRelatedWork W2045225859 @default.
- W3110362426 hasRelatedWork W2089054857 @default.
- W3110362426 hasRelatedWork W2362782207 @default.
- W3110362426 hasRelatedWork W2388174443 @default.
- W3110362426 hasRelatedWork W2994004883 @default.
- W3110362426 hasRelatedWork W4251499038 @default.
- W3110362426 hasVolume "4" @default.
- W3110362426 isParatext "false" @default.