From post

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.

 

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

Automatic Synthesis of Data-Flow Analyzers., , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 453-478. Springer, (2021)Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis., , , , , , и . ISSTA, стр. 114-126. ACM, (2023)A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis., , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 971-1000 (октября 2023)Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures., , , , , , и . HPCA, стр. 1029-1042. IEEE, (2022)AFaVS: Accurate Yet Fast Version Switching for Graph Processing Systems., , , , , , , , , и . ICDE, стр. 53-66. IEEE, (2023)PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion., , , , , , и . CC, стр. 2-16. ACM, (2019)VFix: value-flow-guided precise program repair for null pointer dereferences., , , и . ICSE, стр. 512-523. IEEE / ACM, (2019)Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis., , , , и . ASE, стр. 736-747. IEEE, (2023)WCET-aware hyper-block construction for clustered VLIW processors., , и . LCTES, стр. 110-122. ACM, (2019)Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis., , , , , и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 48-72. Springer, (2019)