Registered user since Tue 22 Jan 2019

Name: Zhilin Wu

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


POPL 2018Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile