FRINK Linked Data Fragments server

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

• W4387667069 endingPage "1000" @default.
• W4387667069 startingPage "971" @default.
• W4387667069 abstract "In this paper, we introduce DebloaterX, a new approach for automatically identifying context-independent objects to debloat contexts in object-sensitive pointer analysis ( k obj). Object sensitivity achieves high precision, but its context construction mechanism combines objects with their contexts indiscriminately. This leads to a combinatorial explosion of contexts in large programs, resulting in inefficiency. Previous research has proposed a context-debloating approach that inhibits a pre-selected set of context-independent objects from forming new contexts, improving the efficiency of k obj. However, this earlier context-debloating approach under-approximates the set of context-independent objects identified, limiting performance speedups. We introduce a novel context-debloating pre-analysis approach that identifies objects as context-dependent only when they are potentially precision-critical to k obj based on three general container-usage patterns. Our research finds that objects containing no fields of ”abstract” (i.e., open) types can be analyzed context-insensitively with negligible precision loss in real-world applications. We provide clear rules and efficient algorithms to recognize these patterns, selecting more context-independent objects for better debloating. We have implemented DebloaterX in the Qilin framework and will release it as an open-source tool. Our experimental results on 12 standard Java benchmarks and real-world programs show that DebloaterX selects 92.4% of objects to be context-independent on average, enabling k obj to run significantly faster (an average of 19.3x when k = 2 and 150.2x when k = 3) and scale up to 8 more programs when k = 3, with only a negligible loss of precision (less than 0.2%). Compared to state-of-the-art alternative pre-analyses in accelerating k obj, DebloaterX outperforms Zipper significantly in both precision and efficiency and outperforms Conch (the earlier context-debloating approach) in efficiency substantially while achieving nearly the same precision." @default.
• W4387667069 created "2023-10-17" @default.
• W4387667069 creator A5007300921 @default.
• W4387667069 creator A5024664385 @default.
• W4387667069 creator A5053058502 @default.
• W4387667069 creator A5053592741 @default.
• W4387667069 creator A5057460408 @default.
• W4387667069 creator A5069783932 @default.
• W4387667069 creator A5075646421 @default.
• W4387667069 date "2023-10-16" @default.
• W4387667069 modified "2023-10-17" @default.
• W4387667069 title "A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis" @default.
• W4387667069 cites W1503669439 @default.
• W4387667069 cites W1536098516 @default.
• W4387667069 cites W1650097949 @default.
• W4387667069 cites W1966032455 @default.
• W4387667069 cites W1969599528 @default.
• W4387667069 cites W1971859150 @default.
• W4387667069 cites W1997981086 @default.
• W4387667069 cites W2060439939 @default.
• W4387667069 cites W2080696000 @default.
• W4387667069 cites W2110833886 @default.
• W4387667069 cites W2151562310 @default.
• W4387667069 cites W2162544703 @default.
• W4387667069 cites W2167363133 @default.
• W4387667069 cites W2169304846 @default.
• W4387667069 cites W2295857493 @default.
• W4387667069 cites W2508295954 @default.
• W4387667069 cites W2621822648 @default.
• W4387667069 cites W2761799536 @default.
• W4387667069 cites W2898232260 @default.
• W4387667069 cites W2898502769 @default.
• W4387667069 cites W2920740222 @default.
• W4387667069 cites W2980018082 @default.
• W4387667069 cites W3005566493 @default.
• W4387667069 cites W3009007914 @default.
• W4387667069 cites W3010216686 @default.
• W4387667069 cites W3030148664 @default.
• W4387667069 cites W3033597692 @default.
• W4387667069 cites W3099499197 @default.
• W4387667069 cites W3109474872 @default.
• W4387667069 cites W3117677213 @default.
• W4387667069 cites W3163546604 @default.
• W4387667069 cites W3185514416 @default.
• W4387667069 cites W3207476902 @default.
• W4387667069 cites W3207496574 @default.
• W4387667069 cites W4205577328 @default.
• W4387667069 cites W4206047963 @default.
• W4387667069 cites W4220988444 @default.
• W4387667069 cites W4225159042 @default.
• W4387667069 cites W4235278598 @default.
• W4387667069 cites W4243644740 @default.
• W4387667069 cites W4253459289 @default.
• W4387667069 cites W4308643014 @default.
• W4387667069 cites W4308643091 @default.
• W4387667069 cites W4312321873 @default.
• W4387667069 cites W4313828767 @default.
• W4387667069 doi "https://doi.org/10.1145/3622832" @default.
• W4387667069 hasPublicationYear "2023" @default.
• W4387667069 type Work @default.
• W4387667069 citedByCount "0" @default.
• W4387667069 crossrefType "journal-article" @default.
• W4387667069 hasAuthorship W4387667069A5007300921 @default.
• W4387667069 hasAuthorship W4387667069A5024664385 @default.
• W4387667069 hasAuthorship W4387667069A5053058502 @default.
• W4387667069 hasAuthorship W4387667069A5053592741 @default.
• W4387667069 hasAuthorship W4387667069A5057460408 @default.
• W4387667069 hasAuthorship W4387667069A5069783932 @default.
• W4387667069 hasAuthorship W4387667069A5075646421 @default.
• W4387667069 hasBestOaLocation W43876670691 @default.
• W4387667069 hasConcept C127413603 @default.
• W4387667069 hasConcept C150202949 @default.
• W4387667069 hasConcept C151730666 @default.
• W4387667069 hasConcept C154945302 @default.
• W4387667069 hasConcept C177264268 @default.
• W4387667069 hasConcept C199360897 @default.
• W4387667069 hasConcept C2779343474 @default.
• W4387667069 hasConcept C2781018962 @default.
• W4387667069 hasConcept C41008148 @default.
• W4387667069 hasConcept C548217200 @default.
• W4387667069 hasConcept C7263679 @default.
• W4387667069 hasConcept C78519656 @default.
• W4387667069 hasConcept C80444323 @default.
• W4387667069 hasConcept C86803240 @default.
• W4387667069 hasConcept C97686452 @default.
• W4387667069 hasConceptScore W4387667069C127413603 @default.
• W4387667069 hasConceptScore W4387667069C150202949 @default.
• W4387667069 hasConceptScore W4387667069C151730666 @default.
• W4387667069 hasConceptScore W4387667069C154945302 @default.
• W4387667069 hasConceptScore W4387667069C177264268 @default.
• W4387667069 hasConceptScore W4387667069C199360897 @default.
• W4387667069 hasConceptScore W4387667069C2779343474 @default.
• W4387667069 hasConceptScore W4387667069C2781018962 @default.
• W4387667069 hasConceptScore W4387667069C41008148 @default.
• W4387667069 hasConceptScore W4387667069C548217200 @default.
• W4387667069 hasConceptScore W4387667069C7263679 @default.
• W4387667069 hasConceptScore W4387667069C78519656 @default.
• W4387667069 hasConceptScore W4387667069C80444323 @default.

• next