• Sign in
  • Sign up
conf.researchr.org / Andrea Turrini
  • APLAS 2020 profile
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • ICSE 2022 profile
  • PLDI 2018 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2022 profile
  • POPL 2025 profile
Andrea Turrini

Registered user since Tue 14 Dec 2021

Name:Andrea Turrini
Country:China
Affiliation:Institute of Software, Chinese Academy of Sciences
Personal website: https://tis.ios.ac.cn/people/andrea-turrini

Contributions

2025

VMCAI

  • Co-chair in Artifact Evaluation Committee within the VMCAI 2025-track
  • Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI 2025-track

2022

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2022-track

VMCAI

  • Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track

2020

APLAS

  • Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track

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

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

2017

VMCAI

  • Author of Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games within the VMCAI-track
Share
xFri 13 Jun 09:44
using conf.researchr.org (v1.69.0)
Support page
Sign Up