Giuseppe Castagna

Registered user since Mon 29 Sep 2014

Name:Giuseppe Castagna
Country:France
Affiliation:CNRS - Université de Paris, France
Personal website:http://www.irif.fr/~gc/
Research interests:Programming languages, models of computation, language level security, mobility, type theory, object-oriented programming, process algebras, languages for XML, web-services.

Contributions

WGT 2022 Co-chair in Program Committee within the WGT-track
POPL 2022 Author of On Type-Cases, Union Elimination, and Occurrence Typing within the POPL-track
WGT 2020 Co-chair in Program Committee within the WGT-track
Session Chair of Programming features (part of WGT)
Organizer in Organizing Committee within the WGT-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
POPL 2019 Committee Member in Steering Committee
Author of Gradual Typing: A New Perspective within the Research Papers-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
ICFP 2017 Author of Gradual Typing with Union and Intersection Types within the Research Papers-track
POPL 2018 Chair in Steering Committee
POPL 2017 Committee Member in Steering Committee
Speaker of Opening (part of POPL)
Session Chair of Invited speaker (part of POPL)
General Chair in Organizing Committee
ICFP 2016 Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track
POPL 2016 Committee Member in Steering Committee
ESOP 2015 Author of A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches within the ESOP-track
Chair in Steering Committee
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track