• Sign in
  • Sign up
conf.researchr.org / Yong Li
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • PLDI 2018 profile
  • POPL 2018 profile
  • POPL 2022 profile

Registered user since Thu 22 Mar 2018

Name:Yong Li
Country:China
Affiliation:Institute of Software, Chinese Academy of Sciences

Contributions

VMCAI 2022 Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track
ESEC/FSE 2020 Author of SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM within the Tool Demos-track
ETAPS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track
Author of Ultimate Automizer within the Posters-track
TACAS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track
PLDI 2018 Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
VMCAI 2018 Author of Learning to Complement Büchi Automata within the VMCAI 2018-track

Share
xSat 1 Apr 06:45
using conf.researchr.org (v1.60.0)
Support page
Sign Up