conf.researchr.org / Andrea Turrini

Not registered as user yet

Name: Andrea Turrini

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

Contributions

APLAS 2020Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track
ESEC/FSE 2020Author of SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM within the Tool Demos-track
TACAS 2019Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track
ETAPS 2019Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track
VMCAI 2018Author of Learning to Complement Büchi Automata within the VMCAI 2018-track
PLDI 2018Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
VMCAI 2017Author of Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games within the VMCAI-track