Zhilei Han -

Registered user since Mon 18 Oct 2021

Name:Zhilei Han

Country:China

Affiliation:Tsinghua University

GitHub: https://github.com/linusboyle

Contributions

2022

POPL

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