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
272019
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
252015
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
22*2018
What is decidable about string constraints with the ReplaceAll function
ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin
POPL, 2018
22*2018
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
172016
Feasibility of motion planning on acyclic and strongly connected directed graphs
Z Wu, S Grumbach
Discrete Applied Mathematics 158 (9), 1017-1028, 2010
162010
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
Logical locality entails frugal distributed computation over graphs
S Grumbach, Z Wu
International Workshop on Graph-Theoretic Concepts in Computer Science, 154-165, 2009
112009
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
102016
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
102016
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JAN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
On temporal logics with data variable quantifications: Decidability and complexity
F Song, Z Wu
Information and Computation 251, 104-139, 2016
82016
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
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
62017
Commutative data automata
Z Wu
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
62012
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
62009
A decidable extension of data automata
Z Wu
arXiv preprint arXiv:1106.1235, 2011
52011
Distributed tree decomposition of graphs and applications to verification
S Grumbach, Z Wu
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
52010
The system can't perform the operation now. Try again later.
Articles 1–20