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
2019
BEHAPI
Author of Hardware Interactions as Behavioural Types. within the BEHAPI-track
PLACES
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
Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track
2017
SPLASH
Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track
2015
SPLASH
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
Tue 5 Nov 19:24