Zhilin Wu

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 36

Top Topics

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Wanyun Su, Zhilin Wu, Mihaela Sighireanu
Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions. CoRR (2024)
Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61 (1) (2024)
Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR (2023)
Denghang Hu, Zhilin Wu
String Constraints with Regex-Counting and String-Length Solved More Efficiently. SETTA (2023)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6 (POPL) (2022)
Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). SEFM (2022)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR (2021)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
Solving Not-Substring Constraint withFlat Abstraction. APLAS (2021)
Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR (2020)
Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA (2020)
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) (2020)
Chong Gao, Taolue Chen, Zhilin Wu
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. SOFSEM (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR (2018)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2 (POPL) (2018)
Chong Gao, Taolue Chen, Zhilin Wu
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. CoRR (2018)
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
Android Stack Machine. CAV (2) (2018)
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
Register automata with linear arithmetic. LICS (2017)
Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
Register automata with linear arithmetic. CoRR (2017)
Taolue Chen, Fu Song, Zhilin Wu
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR (2017)
Ping Lu, Zhilin Wu, Haiming Chen
The Complexity of SORE-definability Problems. MFCS (2017)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What Is Decidable about String Constraints with the ReplaceAll Function. CoRR (2017)
Zhaowei Xu, Taolue Chen, Zhilin Wu
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. CADE (2017)
Taolue Chen, Fu Song, Zhilin Wu
Model Checking Pushdown Epistemic Game Structures. ICFEM (2017)
Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. CoRR (2016)
Taolue Chen, Fu Song, Zhilin Wu
Global Model Checking on Pushdown Multi-Agent Systems. AAAI (2016)
Fu Song, Zhilin Wu
On temporal logics with data variable quantifications: Decidability and complexity. Inf. Comput. 251 (2016)
Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. CAV (2) (2016)
Taolue Chen, Fu Song, Zhilin Wu
Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS (2016)
Taolue Chen, Fu Song, Zhilin Wu
Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI (2016)
Zhilin Wu
Semipositivity in Separation Logic with Two Variables. SETTA (2016)
Xincai Gu, Taolue Chen, Zhilin Wu
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. IJCAR (2016)
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
On Automated Lemma Generation for Separation Logic with Inductive Definitions. ATVA (2015)
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
On Automated Lemma Generation for Separation Logic with Inductive Definitions. CoRR (2015)
Taolue Chen, Fu Song, Zhilin Wu
On the Satisfiability of Indexed Linear Temporal Logics. CONCUR (2015)
Fu Song, Zhilin Wu
Extending Temporal Logics with Data Variable Quantifications. FSTTCS (2014)
Zhilin Wu
Regular path queries on graphs with data: A rigid approach. CoRR (2014)
Olivier Ly, Zhilin Wu
On effective construction of the greatest solution of language inequality XA ⊆ BX. Theor. Comput. Sci. 528 (2014)
Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu
Recursive queries on trees and data trees. ICDT (2013)
Zhilin Wu
Commutative Data Automata. CSL (2012)
Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu
On Injective Embeddings of Tree Patterns CoRR (2012)
Zhilin Wu
A Decidable Extension of Data Automata GandALF (2011)
Stéphane Grumbach, Zhilin Wu
Distributed tree decomposition of graphs and applications to verification. IPDPS Workshops (2010)
Blaise Genest, Anca Muscholl, Zhilin Wu
Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS (2010)
Blaise Genest, Anca Muscholl, Zhilin Wu
Verifying Recursive Active Documents with Positive Data Tree Rewriting CoRR (2010)
Zhilin Wu, Stéphane Grumbach
Feasibility of motion planning on acyclic and strongly connected directed graphs. Discret. Appl. Math. 158 (9) (2010)
Stéphane Grumbach, Fang Wang, Zhilin Wu
On the distributed evaluation of recursive queries over graphs CoRR (2009)
Zhilin Wu, Stéphane Grumbach
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs CoRR (2009)
Stéphane Grumbach, Zhilin Wu
Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). WG (2009)
Stéphane Grumbach, Zhilin Wu
On Distributed Model Checking of MSO on Graphs CoRR (2009)
Zhilin Wu, Stéphane Grumbach
Feasibility of Motion Planning on Directed Graphs. TAMC (2009)
Stéphane Grumbach, Zhilin Wu
Logical locality entails frugal distributed computation over graphs CoRR (2009)
Zhilin Wu
On the Expressive Power of QLTL. ICTAC (2007)
Zhilin Wu
A note on the characterization of TL[EF]. Inf. Process. Lett. 102 (2-3) (2007)
Zhilin Wu
Quasi-star-free Languages on Infinite Words. Acta Cybern. 17 (1) (2005)
Zhilin Wu, Aggelos K. Katsaggelos, Thrasyvoulos N. Pappas
MPEG-4 outer-inner lip FAP interpolation. Electronic Imaging: Image and Video Communications and Processing (2005)
Jin Zhou, Yinglong Ma, Wei Li, Zhilin Wu
A Formal Framework of UML. Software Engineering Research and Practice (2004)
Zhilin Wu, Petar S. Aleksic
Inner lip feature extraction for MPEG-4 facial animation. ICASSP (3) (2004)
Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos
Audio-Visual Speech Recognition Using MPEG-4 Compliant Visual Features. EURASIP J. Adv. Signal Process. 2002 (11) (2002)
Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos
Audio-visual continuous speech recognition using MPEG-4 compliant visual features. ICIP (1) (2002)
Zhilin Wu, Petar S. Aleksic, Aggelos K. Katsaggelos
Lip Tracking for MPEG-4 Facial Animation. ICMI (2002)