Davide Ancona

Registered user since Wed 24 Jun 2015

Name:Davide Ancona
Bio:

Davide Ancona (PhD in Computer Science, University of Pisa, 1998) is Associate Professor at the University of Genova. His main research interests include type systems, object-oriented programming, coinduction methods for programming languages, modules and components, software reuse and maintenance, multi-agent systems, and behavioral types. He is author of more than 70 publications. He is the secretary of the executive board of AITO, Association Internationale pour les Technologies Objets (since Jan 2013, previously Vice-President since Jan 2012), and member of the editorial board of the ACM/SIGAPP Applied Computing Review (ACR), Scientific Programming (Hindawi), and Open Computer Science. He has been guest editor of special issues of Science of Computer Programming and Journal of Object Technology. In 2009 he received, together with G. Lagorio, the best paper prize at ECOOP. He has participated to several national and European projects and has been PC member of several workshops and conferences: WOOD’04, Bytecode 2008, ESOP 2008, DLS 2009, 2010 and 2013, FOOL 2010, RP 2011 and 2012, ECOOP 2013 and 2014, POPL 2015 (ERC), OOPSLA 2016 (ERC), TASE 2016, FTfJP 2016. He has been involved in the organization of several scientific events: organizing chair of ECOOP 2009, program co-chair of FTfJP06 and of OOPS special track at SAC from 2004 through 2017, co-chair of CILC 2015 and VORTEX 2016.

Country:Italy
Affiliation:DIBRIS, University of Genova, Italy
Research interests:Programming Languages, Formal Methods, Runtime Verification

Contributions

DLS 2023 Committee Member in Program Committee within the DLS 2023-track
VORTEX 2023 Co-chair in Organizing Committee within the VORTEX 2023-track
Co-chair in Program Committee within the VORTEX 2023-track
‹Programming› 2023 Committee Member in Program Committee within the Research Papers-track
Steering Committee Member in Steering Committee
ECOOP 2022 Committee Member in Academic Panel within the Doctoral Symposium-track
VORTEX 2022 Author of Closing within the VORTEX 2022-track
Author of Opening within the VORTEX 2022-track
Session Chair of Morning session (part of VORTEX 2022)
Workshop Organizer in VORTEX 2022 Workshop Organizers within the VORTEX 2022-track
FLOPS 2022 Author of Checked corecursive streams: trading expressive power for reliability within the FLOPS 2022-track
Session Chair of Session 6 (part of FLOPS 2022)
Committee Member in Program Committee within the FLOPS 2022-track
‹Programming› 2022 Committee Member in Steering Committee
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
ECOOP 2021 Session Chair of Keynote - Dahl-Nygaard Junior Prize (time band 1) (part of ECOOP Keynotes)
Session Chair of Keynote - Dahl-Nygaard Senior Prize (time band 1) (part of ECOOP Keynotes)
VORTEX 2021 Co-chair in Organizing Committee within the VORTEX-track
Session Chair of Morning session (part of VORTEX)
Co-chair in Program Committee within the VORTEX-track
‹Programming› 2021 Committee Member in Steering Committee
DLS 2020 Committee Member in Steering Committee within the DLS 2020-track
ECOOP 2020 Author of Sound regular corecursion in coFJ within the Research Papers-track
Author of A big step from finite to infinite computations within the Research Papers-track
Session Chair of S-5 (part of Research Papers)
Session Chair of S-5 (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
VORTEX 2020 Co-chair in Organizing Committee within the VORTEX-track
‹Programming› 2020 Committee Member in Steering Committee
DLS 2019 Committee Member in Steering Committee within the DLS 2019-track
ECOOP 2019 Session Chair of Types (part of Research Papers)
VORTEX 2019 Co-chair of Opening at 10:25 within the VORTEX 2019-track
Co-chair in Program Committee within the VORTEX 2019-track
Session Chair of Session 3 (part of VORTEX 2019)
Co-chair in Organizing Committee within the VORTEX 2019-track
‹Programming› 2019 Committee Member in Steering Committee
General Chair in Organizing Committee
DLS 2018 Steering Committee Member in Steering Committee within the DLS 2018-track
FTfJP 2018 Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track
ECOOP 2018 Presenter of Test of Time Award within the ECOOP Keynotes-track
Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Modelling infinite behaviour by corules within the Posters-track
Committee Member in Academic Panel within the Doc Symposium-track
VORTEX 2018 Co-chair in Organizing Committee within the VORTEX-track
Session Chair of Session 1 (part of VORTEX)
Co-chair in Program Committee within the VORTEX-track
‹Programming› 2018 Author of Runtime Verification of Flow-Based Programming for the Internet of Things within the Posters-track
Committee Member in Program Committee within the Research Papers-track
DLS 2017 Session Chair of Session 3 (part of DLS 2017)
Program Chair in Organizing Committee within the DLS 2017-track
Dynamic Languages Symposium Chair in Program Committee within the DLS 2017-track
Session Chair of Session 1 (part of DLS 2017)
Steering Committee Member in Steering Committee within the DLS 2017-track
SPLASH 2017 DLS Program Chair in Organizing Committee
Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track
Author of Reasoning on Divergent Computations with Coaxioms within the Posters-track
Session Chair of Verification in Practice (part of OOPSLA)
Committee Member in External Program Committee within the OOPSLA-track
VMIL 2017 Session Chair of DLS 2017 Invited Talk (part of VMIL 2017)
FTfJP 2017 Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track
VORTEX 2017 Co-chair in Program Committee within the VORTEX17-track
Co-chair in Organizing Committee within the VORTEX17-track
SPLASH 2016 ERC member in External Program Committee within the OOPSLA-track
Author of Semantic Subtyping for Imperative Object-Oriented Languages within the OOPSLA-track
DLS 2016 Steering Committee Member in Steering Committee within the DLS-track
FTfJP 2016 Author of Towards a Model of Corecursion with Default within the FTfJP-track
Session Chair of Session 3 (part of FTfJP)
Committee Member in Program Committee within the FTfJP-track
Author of A formal account of SSA in Java-like languages within the FTfJP-track
VORTEX 2016 Co-chair in Program Committee within the VORTEX-track
Author of Opening Remarks within the VORTEX-track
Author of Closing Remarks within the VORTEX-track
ECOOP 2015 Session Chair of Abstraction (part of Research Track)
FTfJP 2015 Author of A three-valued type system for true positives detection in Java-like languages within the FTfJP-track
DLS 2013 Committee Member in Program Committee within the Research Papers-track