Vasco T. Vasconcelos

Registered user since Mon 5 Sep 2016

Name:Vasco T. Vasconcelos
Country:Portugal
Affiliation:LASIGE, Faculty of Sciences, University of Lisbon

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
WITS 2022 Author of Deciding type equivalence with simple grammars within the WITS 2022-track
SPLASH 2022 Committee Member in Steering Committee
POPL 2020 Author of Label-Dependent Session Types within the Research Papers-track
APLAS 2019 Author of Label-Dependent Session Types within the APLAS NIER-track
BEAT 2019 Author of Checking the Equivalence of Context-Free Session Types within the BEAT 2019-track
PLMW 2019 Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
PLACES 2019 Author of FreeST: context-free session types in a functional language within the PLACES-track
Session Chair of III (part of PLACES)
ESOP 2019 Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track
Session Chair of Types (part of ESOP 2019)
ETAPS 2019 Author of FreeST: context-free session types in a functional language within the Posters-track
POPL 2019 Local Arrangements Chair in Organizing Committee
Programming for the Large 2018 Committee Member in Program Committee within the Programming for the Large 2018 (cancelled)-track
ICFP 2017 Author of Gradual Session Types within the Research Papers-track
ECOOP 2018 Author of Dependent Types for Class-based Mutable Objects within the ECOOP Research Papers-track
SPLASH 2017 Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track
Onward! 2016 Committee Member in Program Committee within the Onward! Essays-track
ICFP 2016 Author of Context-Free Session Types within the Research Papers-track
FTfJP 2015 Author of Imperative Objects with Dependent Types within the FTfJP-track
SPLASH 2015 Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA-track
Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA Artifacts-track