Zhilin Wu

Identifiers

• name variant Zhilin Wu 0.60 · backfill

Papers (9)

1. Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction cs.CR · 2026 · author #6
2. Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations cs.FL · 2018 · author #5
3. Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints cs.LO · 2018 · author #3
4. What Is Decidable about String Constraints with the ReplaceAll Function cs.LO · 2017 · author #5
5. Register automata with linear arithmetic cs.FL · 2017 · author #4
6. The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach cs.FL · 2016 · author #3
7. On Automated Lemma Generation for Separation Logic with Inductive Definitions cs.LO · 2015 · author #3
8. Regular path queries on graphs with data: A rigid approach cs.LO · 2014 · author #1
9. On Injective Embeddings of Tree Patterns cs.DB · 2012 · author #5

Mentions

• 1204.4948 #5 · backfill · confidence 0.70 Zhilin Wu

Frequent Coauthors

• Taolue Chen 4 shared papers
• Anthony W. Lin 2 shared papers
• Matthew Hague 2 shared papers
• Yu-Fang Chen 2 shared papers
• Anca Muscholl 1 shared papers
• Chong Gao 1 shared papers
• Chundong Wang 1 shared papers
• Constantin Enea (LIAFA) 1 shared papers
• Fu Song 1 shared papers
• Jakub Michaliszyn 1 shared papers
• Lei Song 1 shared papers
• Mihaela Sighireanu (LIAFA) 1 shared papers
• Ondrej Lengal 1 shared papers
• Philipp R\"ummer 1 shared papers
• Piotr Wieczorek 1 shared papers
• S{\l}awek Staworko 1 shared papers
• Tony Tan 1 shared papers
• Xi Yang 1 shared papers
• Yan Chen 1 shared papers
• Yuqi Chen 1 shared papers