Zhilin Wu

Zhilin Wu

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4601402
-
person_outline Zhilin Wu's MOST POPULAR ARTICLES
1-) Decision procedures for path feasibility of string-manipulating programs with complex operationsT Chen, M Hague, AW Lin, P Rümmer, Z WuProceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019432019
2-) What is decidable about string constraints with the ReplaceAll functionZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. LinPOPL, 3:1-3:29, 201834*2018
3-) What is decidable about string constraints with the ReplaceAll functionZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. LinPOPL, 201834*2018
4-) On automated lemma generation for separation logic with inductive definitionsC Enea, M Sighireanu, Z WuAutomated Technology for Verification and Analysis: 13th International …, 2015452015
5-) Solving string constraints with regex-dependent functions through transducers with priorities and variablesT Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ...Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022382022