Author of the publication

Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection.

, , , and . ISSTA, page 101-113. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis., , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 971-1000 (October 2023)Automatic Synthesis of Data-Flow Analyzers., , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 453-478. Springer, (2021)Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis., , , , and . ASE, page 736-747. IEEE, (2023)Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis., , , , , , and . ISSTA, page 114-126. ACM, (2023)VFix: value-flow-guided precise program repair for null pointer dereferences., , , and . ICSE, page 512-523. IEEE / ACM, (2019)AFaVS: Accurate Yet Fast Version Switching for Graph Processing Systems., , , , , , , , , and . ICDE, page 53-66. IEEE, (2023)Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures., , , , , , and . HPCA, page 1029-1042. IEEE, (2022)PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion., , , , , , and . CC, page 2-16. ACM, (2019)Bandwidth-Aware Loop Tiling for DMA-Supported Scratchpad Memory., , , , , , , , and . PACT, page 97-109. ACM, (2020)Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates., , and . ICSME, page 196-207. IEEE, (2020)