Francisco Martins -

Registered user since Mon 1 Oct 2018

Name:Francisco Martins

Affiliation:LaSIGE, University of Lisbon

Contributions

BEHAPI 2019	Author of Hardware Interactions as Behavioural Types. within the BEHAPI-track
PLACES 2019	PC Chair in Organizing Committee within the PLACES-track Session Chair of IV (part of PLACES) Session Chair of Session 1 (part of PLACES) PC Chair in Program Committee within the PLACES-track
BEAT 2019	Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track
SPLASH 2017	Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-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