Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Francisco Martins
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
SPLASH 2015 profile
SPLASH 2017 profile
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
Share
x
Thu 30 Mar 17:26