Zhilin Wu -

Registered user since Tue 22 Jan 2019

Name:Zhilin Wu

Country:China

Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Contributions

2026

FM

Author of Can LLM Aid in Solving Constraints with Inductive Definitions? within the Research Track-track

2025

ATVA

APLAS

Author of Decision Procedures for A Theory of String Sequences within the Research Papers-track

2022

POPL

Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track

2021

APLAS

Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track

2020

ADSL

Committee Member in Program Committee within the ADSL 2020-track

2019

APLAS

POPL

Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track

2018

POPL

Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track