Registered user since Thu 22 Mar 2018

Name: Yong Li

Country: China

Affiliation: Institute of Software, Chinese Academy of Sciences

Contributions

PLDI 2018Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2018-profile
View general profile