Follow
Zhilin Wu
Zhilin Wu
State Key Laboratory of Computer Science
Verified email at ios.ac.cn - Homepage
Title
Cited by
Cited by
Year
Decision procedures for path feasibility of string-manipulating programs with complex operations
T Chen, M Hague, AW Lin, P Rümmer, Z Wu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
732019
What is decidable about string constraints with the ReplaceAll function
ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin
POPL, 3:1-3:29, 2018
53*2018
What is decidable about string constraints with the ReplaceAll function
ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin
POPL, 2018
53*2018
On automated lemma generation for separation logic with inductive definitions
C Enea, M Sighireanu, Z Wu
Automated Technology for Verification and Analysis: 13th International …, 2015
442015
Solving string constraints with regex-dependent functions through transducers with priorities and variables
T 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, 2022
302022
A complete decision procedure for linearly compositional separation logic with data constraints
X Gu, T Chen, Z Wu
International Joint Conference on Automated Reasoning, 532-549, 2016
272016
Feasibility of motion planning on acyclic and strongly connected directed graphs
Z Wu, S Grumbach
Discrete Applied Mathematics 158 (9), 1017-1028, 2010
262010
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
242019
A decision procedure for path feasibility of string manipulating programs with integer data type
T Chen, M Hague, J He, D Hu, AW Lin, P Rümmer, Z Wu
International Symposium on Automated Technology for Verification and …, 2020
202020
Register automata with linear arithmetic
YF Chen, O Lengál, T Tan, Z Wu
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
192017
The commutativity problem of the MapReduce framework: A transducer-based approach
YF Chen, L Song, Z Wu
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
162016
Logical locality entails frugal distributed computation over graphs
S Grumbach, Z Wu
Graph-Theoretic Concepts in Computer Science: 35th International Workshop …, 2010
162010
Satisfiability of compositional separation logic with tree predicates and data constraints
Z Xu, T Chen, Z Wu
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
152017
Global model checking on pushdown multi-agent systems
T Chen, F Song, Z Wu
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
152016
Recursive queries on trees and data trees
S Abiteboul, P Bourhis, A Muscholl, Z Wu
Proceedings of the 16th International Conference on Database Theory, 93-104, 2013
152013
On temporal logics with data variable quantifications: Decidability and complexity
F Song, Z Wu
Information and Computation 251, 104-139, 2016
112016
Feasibility of motion planning on directed graphs
Z Wu, S Grumbach
International Conference on Theory and Applications of Models of Computation …, 2009
112009
Extending temporal logics with data variable quantifications
F Song, Z Wu
34th International Conference on Foundation of Software Technology and …, 2014
102014
Monadic decomposition in integer linear arithmetic
M Hague, AW Lin, P Rümmer, Z Wu
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
92020
Commutative data automata
Z Wu
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20