Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308643091> ?p ?o ?g. }
- W4308643091 abstract "Deadlocks still severely inflict reliability and security issues upon software systems of the modern age. Worse still, as we note, in prior static deadlock detectors, good precision does not go hand-in-hand with high scalability --- their approaches are either context-insensitive, thereby engendering many false positives, or suffer from the calling context explosion to reach context-sensitive, thus compromising good efficiency. In this paper, we advocate Peahen, geared towards precise yet also scalable static deadlock detection. At its crux, Peahen decomposes the computational effort for embracing high precision into two cooperative analysis stages: (i) context-insensitive lock-graph construction, which selectively encodes the essential lock-acquisition information on each edge, and (ii) three precise yet lazy refinements, which incorporate such edge information into progressively refining the deadlock cycles in the lock graph only for a few interesting calling contexts." @default.
- W4308643091 created "2022-11-13" @default.
- W4308643091 creator A5000297701 @default.
- W4308643091 creator A5013596682 @default.
- W4308643091 creator A5017012201 @default.
- W4308643091 creator A5034844386 @default.
- W4308643091 date "2022-11-07" @default.
- W4308643091 modified "2023-10-17" @default.
- W4308643091 title "Peahen: fast and precise static deadlock detection via context reduction" @default.
- W4308643091 cites W1534988187 @default.
- W4308643091 cites W1541313361 @default.
- W4308643091 cites W1575599371 @default.
- W4308643091 cites W1862182621 @default.
- W4308643091 cites W1868584616 @default.
- W4308643091 cites W1970363544 @default.
- W4308643091 cites W1996567876 @default.
- W4308643091 cites W2033651910 @default.
- W4308643091 cites W2046368282 @default.
- W4308643091 cites W2049962250 @default.
- W4308643091 cites W2060234806 @default.
- W4308643091 cites W2065675749 @default.
- W4308643091 cites W2067406339 @default.
- W4308643091 cites W2083342911 @default.
- W4308643091 cites W2101161997 @default.
- W4308643091 cites W2113027907 @default.
- W4308643091 cites W2119494620 @default.
- W4308643091 cites W2132613390 @default.
- W4308643091 cites W2132800423 @default.
- W4308643091 cites W2134164054 @default.
- W4308643091 cites W2135395375 @default.
- W4308643091 cites W2140021378 @default.
- W4308643091 cites W2152777241 @default.
- W4308643091 cites W2164022236 @default.
- W4308643091 cites W2166743230 @default.
- W4308643091 cites W2289498116 @default.
- W4308643091 cites W2294085393 @default.
- W4308643091 cites W2380139570 @default.
- W4308643091 cites W2398231325 @default.
- W4308643091 cites W2510207151 @default.
- W4308643091 cites W2767607466 @default.
- W4308643091 cites W2794682558 @default.
- W4308643091 cites W2794889478 @default.
- W4308643091 cites W2798710664 @default.
- W4308643091 cites W2799226481 @default.
- W4308643091 cites W2898242299 @default.
- W4308643091 cites W2899492704 @default.
- W4308643091 cites W2927543040 @default.
- W4308643091 cites W3034030180 @default.
- W4308643091 cites W3042552260 @default.
- W4308643091 cites W3091693993 @default.
- W4308643091 cites W3106314272 @default.
- W4308643091 cites W3151416809 @default.
- W4308643091 cites W3174414418 @default.
- W4308643091 cites W3174544859 @default.
- W4308643091 cites W3195446863 @default.
- W4308643091 cites W4206637743 @default.
- W4308643091 cites W4210712189 @default.
- W4308643091 cites W4225528709 @default.
- W4308643091 cites W4251803824 @default.
- W4308643091 cites W4284687346 @default.
- W4308643091 cites W4285490427 @default.
- W4308643091 cites W4300810260 @default.
- W4308643091 doi "https://doi.org/10.1145/3540250.3549110" @default.
- W4308643091 hasPublicationYear "2022" @default.
- W4308643091 type Work @default.
- W4308643091 citedByCount "1" @default.
- W4308643091 countsByYear W43086430912022 @default.
- W4308643091 crossrefType "proceedings-article" @default.
- W4308643091 hasAuthorship W4308643091A5000297701 @default.
- W4308643091 hasAuthorship W4308643091A5013596682 @default.
- W4308643091 hasAuthorship W4308643091A5017012201 @default.
- W4308643091 hasAuthorship W4308643091A5034844386 @default.
- W4308643091 hasConcept C106891557 @default.
- W4308643091 hasConcept C111335779 @default.
- W4308643091 hasConcept C113429609 @default.
- W4308643091 hasConcept C120314980 @default.
- W4308643091 hasConcept C121332964 @default.
- W4308643091 hasConcept C127413603 @default.
- W4308643091 hasConcept C132525143 @default.
- W4308643091 hasConcept C151730666 @default.
- W4308643091 hasConcept C154945302 @default.
- W4308643091 hasConcept C159023740 @default.
- W4308643091 hasConcept C162307627 @default.
- W4308643091 hasConcept C16311509 @default.
- W4308643091 hasConcept C163258240 @default.
- W4308643091 hasConcept C173608175 @default.
- W4308643091 hasConcept C174839445 @default.
- W4308643091 hasConcept C199360897 @default.
- W4308643091 hasConcept C2524010 @default.
- W4308643091 hasConcept C2779343474 @default.
- W4308643091 hasConcept C33923547 @default.
- W4308643091 hasConcept C41008148 @default.
- W4308643091 hasConcept C43214815 @default.
- W4308643091 hasConcept C48044578 @default.
- W4308643091 hasConcept C558772884 @default.
- W4308643091 hasConcept C62520636 @default.
- W4308643091 hasConcept C64869954 @default.
- W4308643091 hasConcept C77088390 @default.
- W4308643091 hasConcept C78519656 @default.
- W4308643091 hasConcept C80444323 @default.