Vasco T. Vasconcelos -

Registered user since Mon 5 Sep 2016

Name:Vasco T. Vasconcelos

Country:Portugal

Affiliation:LASIGE, Faculty of Sciences, University of Lisbon

Personal website:http://www.di.fc.ul.pt/~vv/

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