• Sign in
  • Sign up
conf.researchr.org / Francisco Martins
  • ETAPS 2019 profile
  • POPL 2019 profile
  • SPLASH 2015 profile
  • SPLASH 2017 profile
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

Share
xThu 30 Mar 17:26
using conf.researchr.org (v1.60.0)
Support page
Sign Up