Author of the publication

Low-overhead and fully automated statistical debugging with abstraction refinement.

, , , , and . OOPSLA, page 881-896. ACM, (2016)

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

Why do people not attend public library programs in the current digital age? A mix method study in Hong Kong., , and . Libr. Hi Tech, 42 (4): 1237-1265 (2024)AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants., , , and . IEEE Micro, 27 (1): 26-35 (2007)Energy Management Optimization of Open-Pit Mine Solar Photothermal-Photoelectric Membrane Distillation Using a Support Vector Machine and a Non-Dominated Genetic Algorithm., , , , , and . IEEE Access, (2020)CacheGen: Fast Context Loading for Language Model Applications., , , , , , , , , and 2 other author(s). CoRR, (2023)Improved Calculation Scheme of Structure Matrix of Boolean Network Using Semi-tensor Product., , and . ICICA (1), volume 307 of Communications in Computer and Information Science, page 242-248. Springer, (2012)Research on Green Logistics Service Providers Selection Based on Intuitionistic Language Fuzzy Entropy.. J. Comput., 7 (2): 540-546 (2012)Ontology-based Detection of Inconsistencies in UML/OCL Models., , , , and . MODELSWARD, page 194-202. SCITEPRESS, (2022)BDA: Bandit-based Transferable AutoAugment., , , , , and . SDM, page 550-558. SIAM, (2023)Link Prediction on Dynamic Heterogeneous Graphs via GNN with Multiple Attention Mechanisms., , and . ISCID, page 62-65. IEEE, (2022)Analyzing persistent state interactions to improve state management., , , , , , and . SIGMETRICS/Performance, page 363-364. ACM, (2006)