From post

Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity.

, , и . ACM Trans. Softw. Eng. Methodol., 30 (4): 46:1-46:46 (2021)

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.

 

Другие публикации лиц с тем же именем

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact)., , и . Dagstuhl Artifacts Ser., 8 (2): 06:1-06:3 (2022)Context Debloating for Object-Sensitive Pointer Analysis., , и . ASE, стр. 79-91. IEEE, (2021)Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity., , и . ACM Trans. Softw. Eng. Methodol., 30 (4): 46:1-46:46 (2021)Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis., , и . ECOOP, том 222 из LIPIcs, стр. 30:1-30:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Selective Context-Sensitivity for k-CFA with CFL-Reachability., , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 261-285. Springer, (2021)Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity., и . Proc. ACM Program. Lang., 3 (OOPSLA): 148:1-148:29 (2019)Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)., , , и . Dagstuhl Artifacts Ser., 7 (2): 12:1-12:3 (2021)Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis., , , и . IEEE Trans. Software Eng., 49 (2): 719-742 (февраля 2023)IFDS-based Context Debloating for Object-Sensitive Pointer Analysis., , и . ACM Trans. Softw. Eng. Methodol., 32 (4): 101:1-101:44 (июля 2023)Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability., , , и . ECOOP, том 194 из LIPIcs, стр. 16:1-16:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)