• Sign in
  • Sign up
conf.researchr.org / Zhilin Wu
  • APLAS 2019 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2021 profile

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

POPL 2022 Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track
APLAS 2021 Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track
ADSL 2020 Committee Member in Program Committee within the ADSL 2020-track
APLAS 2019 Session 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 2019 Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track
POPL 2018 Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track

Share
xTue 31 Jan 18:05
using conf.researchr.org (v1.58.0)
Support page
Sign Up