Author of the publication

Boosting symbolic execution via constraint solving time prediction (experience paper).

, , , , and . ISSTA, page 336-347. ACM, (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. 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

PersisDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions., , , and . CoRR, (2015)On Secure and Usable Program Obfuscation: A Survey., , , and . CoRR, (2017)A Randomized Block-Coordinate Adam online learning optimization algorithm., , , , and . Neural Comput. Appl., 32 (16): 12671-12684 (2020)Sparse long short-term memory for information fusion in wireless sensor networks., , , , , and . Int. J. Distributed Sens. Networks, (2019)Information Summary for Chronic Disease Treatment: A Pediatric Hospital Case in China., , and . Proc. ACM Hum. Comput. Interact., 4 (CSCW2): 177:1-177:28 (2020)Randomized block-coordinate adaptive algorithms for nonconvex optimization problems., , , , , , and . Eng. Appl. Artif. Intell., (May 2023)DeepProf: Performance Analysis for Deep Learning Applications via Mining GPU Execution Patterns., , , and . CoRR, (2017)DAda-NC: A Decoupled Adaptive Online Training Algorithm for Deep Learning Under Non-convex Conditions., , , , , , and . ICCSIP, volume 1515 of Communications in Computer and Information Science, page 76-88. Springer, (2021)Defuse: A Dependency-Guided Function Scheduler to Mitigate Cold Starts on FaaS Platforms., , , , and . ICDCS, page 194-204. IEEE, (2021)SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory., , , , , , and . OSDI, page 553-571. USENIX Association, (2023)