Vasco T. Vasconcelos

Registered user since Mon 5 Sep 2016

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

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
General Chair in Organizing Committee
Committee Member in Steering Committee
ECOOP 2023 PC Member in Program Committee within the Research Papers-track
SPLASH 2022 Committee Member in Steering Committee
ECOOP 2022 Session Chair of Session Types 2 (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Committee Member in Academic Panel within the Doctoral Symposium-track
WITS 2022 Author of Deciding type equivalence with simple grammars within the WITS 2022-track
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
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
PLACES 2019 Author of FreeST: context-free session types in a functional language within the PLACES-track
Session Chair of III (part of PLACES)
POPL 2019 Local Arrangements Chair in Organizing Committee
PLMW 2019 Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
BEAT 2019 Author of Checking the Equivalence of Context-Free Session Types within the BEAT 2019-track
ECOOP 2018 Author of Dependent Types for Class-based Mutable Objects within the ECOOP Research Papers-track
Programming for the Large 2018 Committee Member in Program Committee within the Programming for the Large 2018 (cancelled)-track
SPLASH 2017 Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track
ICFP 2017 Author of Gradual Session Types within the Research Papers-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
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
FTfJP 2015 Author of Imperative Objects with Dependent Types within the FTfJP-track