Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yong Li
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ESEC/FSE 2020 profile
ETAPS 2019 profile
ICSE 2026 profile
PLDI 2018 profile
POPL 2018 profile
POPL 2022 profile
POPL 2026 profile
POPL 2027 profile
Registered user since Thu 22 Mar 2018
Name:
Yong Li
Country:
China
Affiliation:
Institute of Software, Chinese Academy of Sciences
Contributions
2027
VMCAI
Author of Scenario-Based Risk Certificates for Multi-Property Vulnerability Discovery in Parametric MDPs within the VMCAI 2027-track
2026
APLAS
Author of Complementing Emerson-Lei Elevator Automata within the ATVA Research Papers-track
Author of Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees within the ATVA Research Papers-track
ICSE
Author of ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction within the Research Track-track
VMCAI
Author of SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation within the VMCAI 2026-track
Co-chair in Artifact Evaluation Committee within the VMCAI 2026-track
2022
VMCAI
Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track
2020
ESEC/FSE
Author of SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM within the Tool Demos-track
2019
ETAPS
Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track
Author of Ultimate Automizer within the Posters-track
TACAS
Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track
2018
PLDI
Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
VMCAI
Author of Learning to Complement Büchi Automata within the VMCAI 2018-track
Share
x
Sat 14 Nov 03:27