Autor der Publikation

A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction.

, , , , und . CC, Seite 60-72. ACM, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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