Matches in SemOpenAlex for { <https://semopenalex.org/work/W347573823> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W347573823 abstract "Programmers who develop large, mature applications often want to optimize the performance of their program without changing its semantics. They often do so by changing how their program invokes a library function or a function implemented in another module of the program. Unfortunately, once a programmer makes such an optimization, it is difficult for him to validate that the optimization does not change the semantics of the original program, because the original and optimized programs are equivalent only due to subtle, implicit assumptions about library functions called by the programs.In this work, we present an interactive program analysis that a programmer can apply to validate that his optimization does not change his program's semantics. Our analysis casts the problem of validating an optimization as an abductive inference problem in the context of checking program equivalence. Our analysis solves the abductive equivalence problem by interacting with the programmer so that the programmer implements a solver for a logical theory that models library functions invoked by the program. We have used our analysis to validate optimizations of real-world, mature applications: the Apache software suite, the Mozilla Suite, and the MySQL database." @default.
- W347573823 created "2016-06-24" @default.
- W347573823 creator A5025798645 @default.
- W347573823 creator A5030836304 @default.
- W347573823 creator A5061448314 @default.
- W347573823 creator A5088826068 @default.
- W347573823 date "2013-01-01" @default.
- W347573823 modified "2023-09-24" @default.
- W347573823 title "Validating Library Usage Interactively" @default.
- W347573823 cites W1480909796 @default.
- W347573823 cites W1545038039 @default.
- W347573823 cites W2040856861 @default.
- W347573823 cites W2043100293 @default.
- W347573823 cites W2082000355 @default.
- W347573823 cites W2113371678 @default.
- W347573823 cites W2144196848 @default.
- W347573823 cites W2145458045 @default.
- W347573823 cites W2147543351 @default.
- W347573823 cites W2154984259 @default.
- W347573823 cites W2164778826 @default.
- W347573823 cites W2293092623 @default.
- W347573823 cites W2295903414 @default.
- W347573823 cites W2911450990 @default.
- W347573823 cites W347573823 @default.
- W347573823 cites W4243326882 @default.
- W347573823 cites W4245550931 @default.
- W347573823 doi "https://doi.org/10.1007/978-3-642-39799-8_56" @default.
- W347573823 hasPublicationYear "2013" @default.
- W347573823 type Work @default.
- W347573823 sameAs 347573823 @default.
- W347573823 citedByCount "2" @default.
- W347573823 countsByYear W3475738232013 @default.
- W347573823 countsByYear W3475738232015 @default.
- W347573823 crossrefType "book-chapter" @default.
- W347573823 hasAuthorship W347573823A5025798645 @default.
- W347573823 hasAuthorship W347573823A5030836304 @default.
- W347573823 hasAuthorship W347573823A5061448314 @default.
- W347573823 hasAuthorship W347573823A5088826068 @default.
- W347573823 hasBestOaLocation W3475738231 @default.
- W347573823 hasConcept C138885662 @default.
- W347573823 hasConcept C151730666 @default.
- W347573823 hasConcept C166957645 @default.
- W347573823 hasConcept C184337299 @default.
- W347573823 hasConcept C199360897 @default.
- W347573823 hasConcept C2778514511 @default.
- W347573823 hasConcept C2778770139 @default.
- W347573823 hasConcept C2779343474 @default.
- W347573823 hasConcept C2780069185 @default.
- W347573823 hasConcept C41008148 @default.
- W347573823 hasConcept C41895202 @default.
- W347573823 hasConcept C79581498 @default.
- W347573823 hasConcept C80444323 @default.
- W347573823 hasConcept C86803240 @default.
- W347573823 hasConcept C95457728 @default.
- W347573823 hasConcept C98183937 @default.
- W347573823 hasConceptScore W347573823C138885662 @default.
- W347573823 hasConceptScore W347573823C151730666 @default.
- W347573823 hasConceptScore W347573823C166957645 @default.
- W347573823 hasConceptScore W347573823C184337299 @default.
- W347573823 hasConceptScore W347573823C199360897 @default.
- W347573823 hasConceptScore W347573823C2778514511 @default.
- W347573823 hasConceptScore W347573823C2778770139 @default.
- W347573823 hasConceptScore W347573823C2779343474 @default.
- W347573823 hasConceptScore W347573823C2780069185 @default.
- W347573823 hasConceptScore W347573823C41008148 @default.
- W347573823 hasConceptScore W347573823C41895202 @default.
- W347573823 hasConceptScore W347573823C79581498 @default.
- W347573823 hasConceptScore W347573823C80444323 @default.
- W347573823 hasConceptScore W347573823C86803240 @default.
- W347573823 hasConceptScore W347573823C95457728 @default.
- W347573823 hasConceptScore W347573823C98183937 @default.
- W347573823 hasLocation W3475738231 @default.
- W347573823 hasLocation W3475738232 @default.
- W347573823 hasLocation W3475738233 @default.
- W347573823 hasOpenAccess W347573823 @default.
- W347573823 hasPrimaryLocation W3475738231 @default.
- W347573823 hasRelatedWork W1520669000 @default.
- W347573823 hasRelatedWork W1555594999 @default.
- W347573823 hasRelatedWork W1557905401 @default.
- W347573823 hasRelatedWork W1586343560 @default.
- W347573823 hasRelatedWork W1671019366 @default.
- W347573823 hasRelatedWork W1789276856 @default.
- W347573823 hasRelatedWork W1901287330 @default.
- W347573823 hasRelatedWork W191500592 @default.
- W347573823 hasRelatedWork W1975001434 @default.
- W347573823 hasRelatedWork W1988874658 @default.
- W347573823 hasRelatedWork W2068948485 @default.
- W347573823 hasRelatedWork W2079181507 @default.
- W347573823 hasRelatedWork W2137232178 @default.
- W347573823 hasRelatedWork W2154101955 @default.
- W347573823 hasRelatedWork W2546497838 @default.
- W347573823 hasRelatedWork W2559071439 @default.
- W347573823 hasRelatedWork W2809696358 @default.
- W347573823 hasRelatedWork W2963352051 @default.
- W347573823 hasRelatedWork W2970609961 @default.
- W347573823 hasRelatedWork W92405116 @default.
- W347573823 isParatext "false" @default.
- W347573823 isRetracted "false" @default.
- W347573823 magId "347573823" @default.
- W347573823 workType "book-chapter" @default.