Matches in SemOpenAlex for { <https://semopenalex.org/work/W2245661419> ?p ?o ?g. }
- W2245661419 abstract "Precise dynamic race detectors incur significant time and space overheads, particularly for array-intensive programs, due to the need to store and manipulate analysis (or shadow) state for every element of every array. This paper presents SlimState, a precise dynamic race detector that uses an adaptive, online algorithm to optimize array shadow state representations. SlimState is based on the insight that common array access patterns lead to analogous patterns in array shadow state, enabling optimized, space efficient representations of array shadow state with no loss in precision. We have implemented SlimState for Java. Experiments on a variety of benchmarks show that array shadow compression reduces the space and time overhead of race detection by 27% and 9%, respectively. It is particularly effective for array-intensive programs, reducing space and time overheads by 35% and 17%, respectively, on these programs." @default.
- W2245661419 created "2016-06-24" @default.
- W2245661419 creator A5018139743 @default.
- W2245661419 creator A5052993755 @default.
- W2245661419 creator A5064455150 @default.
- W2245661419 creator A5065133546 @default.
- W2245661419 date "2015-11-01" @default.
- W2245661419 modified "2023-10-17" @default.
- W2245661419 title "Array Shadow State Compression for Precise Dynamic Race Detection (T)" @default.
- W2245661419 cites W1577551647 @default.
- W2245661419 cites W1963966612 @default.
- W2245661419 cites W1972544179 @default.
- W2245661419 cites W2002179840 @default.
- W2245661419 cites W2025819261 @default.
- W2245661419 cites W2025871578 @default.
- W2245661419 cites W2040851906 @default.
- W2245661419 cites W2078197548 @default.
- W2245661419 cites W2082766667 @default.
- W2245661419 cites W2092911542 @default.
- W2245661419 cites W2096527448 @default.
- W2245661419 cites W2104070839 @default.
- W2245661419 cites W2109033563 @default.
- W2245661419 cites W2115313734 @default.
- W2245661419 cites W2117444998 @default.
- W2245661419 cites W2121816623 @default.
- W2245661419 cites W2129059083 @default.
- W2245661419 cites W2141975313 @default.
- W2245661419 cites W2142768779 @default.
- W2245661419 cites W2153174073 @default.
- W2245661419 cites W2157888439 @default.
- W2245661419 cites W2160963348 @default.
- W2245661419 cites W2164726441 @default.
- W2245661419 cites W2166091242 @default.
- W2245661419 cites W2166615267 @default.
- W2245661419 cites W2167744164 @default.
- W2245661419 cites W3137220996 @default.
- W2245661419 cites W3142915758 @default.
- W2245661419 cites W4214871299 @default.
- W2245661419 cites W4244157805 @default.
- W2245661419 cites W4248655060 @default.
- W2245661419 cites W4256028745 @default.
- W2245661419 cites W4300810260 @default.
- W2245661419 doi "https://doi.org/10.1109/ase.2015.19" @default.
- W2245661419 hasPublicationYear "2015" @default.
- W2245661419 type Work @default.
- W2245661419 sameAs 2245661419 @default.
- W2245661419 citedByCount "12" @default.
- W2245661419 countsByYear W22456614192016 @default.
- W2245661419 countsByYear W22456614192017 @default.
- W2245661419 countsByYear W22456614192018 @default.
- W2245661419 countsByYear W22456614192019 @default.
- W2245661419 countsByYear W22456614192020 @default.
- W2245661419 countsByYear W22456614192021 @default.
- W2245661419 countsByYear W22456614192022 @default.
- W2245661419 countsByYear W22456614192023 @default.
- W2245661419 crossrefType "proceedings-article" @default.
- W2245661419 hasAuthorship W2245661419A5018139743 @default.
- W2245661419 hasAuthorship W2245661419A5052993755 @default.
- W2245661419 hasAuthorship W2245661419A5064455150 @default.
- W2245661419 hasAuthorship W2245661419A5065133546 @default.
- W2245661419 hasConcept C105795698 @default.
- W2245661419 hasConcept C111919701 @default.
- W2245661419 hasConcept C11413529 @default.
- W2245661419 hasConcept C117797892 @default.
- W2245661419 hasConcept C15744967 @default.
- W2245661419 hasConcept C159985019 @default.
- W2245661419 hasConcept C180016635 @default.
- W2245661419 hasConcept C192562407 @default.
- W2245661419 hasConcept C2779960059 @default.
- W2245661419 hasConcept C33923547 @default.
- W2245661419 hasConcept C41008148 @default.
- W2245661419 hasConcept C48103436 @default.
- W2245661419 hasConcept C542102704 @default.
- W2245661419 hasConcept C72434380 @default.
- W2245661419 hasConcept C76155785 @default.
- W2245661419 hasConcept C79403827 @default.
- W2245661419 hasConcept C94915269 @default.
- W2245661419 hasConceptScore W2245661419C105795698 @default.
- W2245661419 hasConceptScore W2245661419C111919701 @default.
- W2245661419 hasConceptScore W2245661419C11413529 @default.
- W2245661419 hasConceptScore W2245661419C117797892 @default.
- W2245661419 hasConceptScore W2245661419C15744967 @default.
- W2245661419 hasConceptScore W2245661419C159985019 @default.
- W2245661419 hasConceptScore W2245661419C180016635 @default.
- W2245661419 hasConceptScore W2245661419C192562407 @default.
- W2245661419 hasConceptScore W2245661419C2779960059 @default.
- W2245661419 hasConceptScore W2245661419C33923547 @default.
- W2245661419 hasConceptScore W2245661419C41008148 @default.
- W2245661419 hasConceptScore W2245661419C48103436 @default.
- W2245661419 hasConceptScore W2245661419C542102704 @default.
- W2245661419 hasConceptScore W2245661419C72434380 @default.
- W2245661419 hasConceptScore W2245661419C76155785 @default.
- W2245661419 hasConceptScore W2245661419C79403827 @default.
- W2245661419 hasConceptScore W2245661419C94915269 @default.
- W2245661419 hasLocation W22456614191 @default.
- W2245661419 hasOpenAccess W2245661419 @default.
- W2245661419 hasPrimaryLocation W22456614191 @default.
- W2245661419 hasRelatedWork W1482618134 @default.
- W2245661419 hasRelatedWork W2028024605 @default.
- W2245661419 hasRelatedWork W2063857709 @default.