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 | 75 | 2019 |

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 | 54* | 2018 |

What is decidable about string constraints with the ReplaceAll function ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin POPL, 2018 | 54* | 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 | 44 | 2015 |

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 | 31 | 2022 |

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 | 28 | 2016 |

Feasibility of motion planning on acyclic and strongly connected directed graphs Z Wu, S Grumbach Discrete Applied Mathematics 158 (9), 1017-1028, 2010 | 26 | 2010 |

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 | 24 | 2019 |

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 | 21 | 2020 |

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 | 20 | 2017 |

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 | 16 | 2016 |

Logical locality entails frugal distributed computation over graphs S Grumbach, Z Wu Graph-Theoretic Concepts in Computer Science: 35th International Workshop …, 2010 | 16 | 2010 |

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 | 15 | 2017 |

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 | 15 | 2016 |

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 | 15 | 2013 |

Feasibility of motion planning on directed graphs Z Wu, S Grumbach International Conference on Theory and Applications of Models of Computation …, 2009 | 12 | 2009 |

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 | 10 | 2020 |

On temporal logics with data variable quantifications: Decidability and complexity F Song, Z Wu Information and Computation 251, 104-139, 2016 | 10 | 2016 |

Extending temporal logics with data variable quantifications F Song, Z Wu 34th International Conference on Foundation of Software Technology and …, 2014 | 9 | 2014 |

Commutative data automata Z Wu Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 7 | 2012 |