FRINK Linked Data Fragments server

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

• W2106016907 endingPage "322" @default.
• W2106016907 startingPage "309" @default.
• W2106016907 abstract "We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, written in separation logic, and produces a correctly-synchronized parallelized program and proof of that program. Unlike previous work, ours is not an independence analysis; we insert synchronization constructs to preserve relevant dependencies found in the sequential program that may otherwise be violated by a naive translation. Separation logic allows us to parallelize fine-grained patterns of resource-usage, moving beyond straightforward points-to analysis. Our analysis works by using the sequential proof to discover dependencies between different parts of the program. It leverages these discovered dependencies to guide the insertion of synchronization primitives into the parallelized program, and to ensure that the resulting parallelized program satisfies the same specification as the original sequential program, and exhibits the same sequential behaviour. Our analysis is built using frame inference and abduction, two techniques supported by an increasing number of separation logic tools." @default.
• W2106016907 created "2016-06-24" @default.
• W2106016907 creator A5034957233 @default.
• W2106016907 creator A5061934270 @default.
• W2106016907 creator A5085860278 @default.
• W2106016907 date "2012-01-18" @default.
• W2106016907 modified "2023-09-26" @default.
• W2106016907 title "Resource-sensitive synchronization inference by abduction" @default.
• W2106016907 cites W1537636533 @default.
• W2106016907 cites W1548444083 @default.
• W2106016907 cites W1562865234 @default.
• W2106016907 cites W1569479239 @default.
• W2106016907 cites W1580330980 @default.
• W2106016907 cites W1592154101 @default.
• W2106016907 cites W1606028453 @default.
• W2106016907 cites W1923082132 @default.
• W2106016907 cites W2053154567 @default.
• W2106016907 cites W2060787894 @default.
• W2106016907 cites W2061341742 @default.
• W2106016907 cites W2104824528 @default.
• W2106016907 cites W2120716072 @default.
• W2106016907 cites W2131296609 @default.
• W2106016907 cites W2132761501 @default.
• W2106016907 cites W2139117737 @default.
• W2106016907 cites W2148687959 @default.
• W2106016907 cites W2154985136 @default.
• W2106016907 cites W2155487709 @default.
• W2106016907 cites W2171546589 @default.
• W2106016907 cites W4230574494 @default.
• W2106016907 cites W4232836277 @default.
• W2106016907 cites W4244157805 @default.
• W2106016907 cites W4249224771 @default.
• W2106016907 cites W4249635864 @default.
• W2106016907 cites W4298077439 @default.
• W2106016907 doi "https://doi.org/10.1145/2103621.2103694" @default.
• W2106016907 hasPublicationYear "2012" @default.
• W2106016907 type Work @default.
• W2106016907 sameAs 2106016907 @default.
• W2106016907 citedByCount "2" @default.
• W2106016907 countsByYear W21060169072017 @default.
• W2106016907 countsByYear W21060169072021 @default.
• W2106016907 crossrefType "journal-article" @default.
• W2106016907 hasAuthorship W2106016907A5034957233 @default.
• W2106016907 hasAuthorship W2106016907A5061934270 @default.
• W2106016907 hasAuthorship W2106016907A5085860278 @default.
• W2106016907 hasBestOaLocation W21060169072 @default.
• W2106016907 hasConcept C105795698 @default.
• W2106016907 hasConcept C126042441 @default.
• W2106016907 hasConcept C127162648 @default.
• W2106016907 hasConcept C154945302 @default.
• W2106016907 hasConcept C173608175 @default.
• W2106016907 hasConcept C198370458 @default.
• W2106016907 hasConcept C199360897 @default.
• W2106016907 hasConcept C2776214188 @default.
• W2106016907 hasConcept C2778562939 @default.
• W2106016907 hasConcept C31258907 @default.
• W2106016907 hasConcept C33923547 @default.
• W2106016907 hasConcept C35651441 @default.
• W2106016907 hasConcept C3746660 @default.
• W2106016907 hasConcept C41008148 @default.
• W2106016907 hasConcept C76155785 @default.
• W2106016907 hasConcept C80444323 @default.
• W2106016907 hasConcept C97686452 @default.
• W2106016907 hasConcept C98183937 @default.
• W2106016907 hasConceptScore W2106016907C105795698 @default.
• W2106016907 hasConceptScore W2106016907C126042441 @default.
• W2106016907 hasConceptScore W2106016907C127162648 @default.
• W2106016907 hasConceptScore W2106016907C154945302 @default.
• W2106016907 hasConceptScore W2106016907C173608175 @default.
• W2106016907 hasConceptScore W2106016907C198370458 @default.
• W2106016907 hasConceptScore W2106016907C199360897 @default.
• W2106016907 hasConceptScore W2106016907C2776214188 @default.
• W2106016907 hasConceptScore W2106016907C2778562939 @default.
• W2106016907 hasConceptScore W2106016907C31258907 @default.
• W2106016907 hasConceptScore W2106016907C33923547 @default.
• W2106016907 hasConceptScore W2106016907C35651441 @default.
• W2106016907 hasConceptScore W2106016907C3746660 @default.
• W2106016907 hasConceptScore W2106016907C41008148 @default.
• W2106016907 hasConceptScore W2106016907C76155785 @default.
• W2106016907 hasConceptScore W2106016907C80444323 @default.
• W2106016907 hasConceptScore W2106016907C97686452 @default.
• W2106016907 hasConceptScore W2106016907C98183937 @default.
• W2106016907 hasIssue "1" @default.
• W2106016907 hasLocation W21060169071 @default.
• W2106016907 hasLocation W21060169072 @default.
• W2106016907 hasOpenAccess W2106016907 @default.
• W2106016907 hasPrimaryLocation W21060169071 @default.
• W2106016907 hasRelatedWork W1579640669 @default.
• W2106016907 hasRelatedWork W1580969192 @default.
• W2106016907 hasRelatedWork W1996238228 @default.
• W2106016907 hasRelatedWork W2005083846 @default.
• W2106016907 hasRelatedWork W2068711880 @default.
• W2106016907 hasRelatedWork W2122592814 @default.
• W2106016907 hasRelatedWork W2359317704 @default.
• W2106016907 hasRelatedWork W2373884999 @default.
• W2106016907 hasRelatedWork W4243145104 @default.
• W2106016907 hasRelatedWork W4249990212 @default.
• W2106016907 hasVolume "47" @default.

• next