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
432019
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
33*2018
What is decidable about string constraints with the ReplaceAll function
ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin
POPL, 2018
33*2018
On automated lemma generation for separation logic with inductive definitions
C Enea, M Sighireanu, Z Wu
International Symposium on Automated Technology for Verification and …, 2015
322015
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
222016
Feasibility of motion planning on acyclic and strongly connected directed graphs
Z Wu, S Grumbach
Discrete Applied Mathematics 158 (9), 1017-1028, 2010
192010
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
162019
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
152017
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
The commutativity problem of the MapReduce framework: A transducer-based approach
YF Chen, L Song, Z Wu
International Conference on Computer Aided Verification, 91-111, 2016
132016
Logical locality entails frugal distributed computation over graphs
S Grumbach, Z Wu
International Workshop on Graph-Theoretic Concepts in Computer Science, 154-165, 2009
122009
Satisfiability of compositional separation logic with tree predicates and data constraints
Z Xu, T Chen, Z Wu
International Conference on Automated Deduction, 509-527, 2017
112017
Global model checking on pushdown multi-agent systems
T Chen, F Song, Z Wu
Thirtieth AAAI Conference on Artificial Intelligence, 2016
112016
On temporal logics with data variable quantifications: Decidability and complexity
F Song, Z Wu
Information and Computation 251, 104-139, 2016
82016
Monadic decomposition in integer linear arithmetic
M Hague, AW Lin, P Rümmer, Z Wu
International Joint Conference on Automated Reasoning, 122-140, 2020
72020
Extending temporal logics with data variable quantifications
F Song, Z Wu
34th International Conference on Foundation of Software Technology and …, 2014
72014
Verifying recursive active documents with positive data tree rewriting
B Genest, A Muscholl, Z Wu
arXiv preprint arXiv:1003.1010, 2010
72010
Feasibility of motion planning on directed graphs
Z Wu, S Grumbach
International Conference on Theory and Applications of Models of Computation …, 2009
72009
Netquest: An abstract model for pervasive applications
M Bauderon, C Bobineau, S Grumbach, A Henry, X Qi, W Qu, K Suo, ...
Seventh IEEE International Conference on Pervasive Computing (Pervasive 2009 …, 2009
72009
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
62020
The system can't perform the operation now. Try again later.
Articles 1–20