Author of the publication

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

, , , , , , , , , , and . ACM Trans. Comput. Syst., 38 (1-2): 4:1-4:39 (2020)

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

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code., , , , , , , and . PLDI, page 914-929. ACM, (2021)Downlink Coverage Performance Analysis of UAV Assisted Terrestrial Cellular Networks., , and . ICCT, page 551-555. IEEE, (2019)HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing., , , , , , , , and . CoRR, (2024)BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework., , , , , , , , , and 2 other author(s). ESEC/SIGSOFT FSE, page 1431-1443. ACM, (2023)Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan., , , , , , , , , and 1 other author(s). ACM Trans. Comput. Syst., 38 (1-2): 4:1-4:39 (2020)Joint Scheduling Algorithms for LTE-A CoMP System., , , , and . J. Comput., 8 (11): 2795-2801 (2013)Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration., , , , , and . ISSTA, page 816-828. ACM, (2023)Early Diagnosis of Alzheimer's Disease Using 3D Residual Attention Network Based on Hippocampal Multi-indices Feature Fusion., , , , , , and . PRCV (3), volume 13021 of Lecture Notes in Computer Science, page 449-457. Springer, (2021)A Novel Resource Scheduling Scheme for CoMP Systems., , , , and . KSII Trans. Internet Inf. Syst., 11 (2): 650-669 (2017)