conf.researchr.org / Zhilin Wu

Registered user since Tue 22 Jan 2019

Name: Zhilin Wu

Affiliation: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Contributions

ADSL 2020Committee Member in Program Committee within the ADSL 2020-track
APLAS 2019Session Chair of Verification (part of Research Papers)
Author of Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps within the Research Papers-track
POPL 2019Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track
POPL 2018Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track