BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Korea
1 × Portugal
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:
T.Cogumbreiro V.T.Vasconcelos N.Yoshida E.R.B.Marques D.Domingos C.Cândido L.M.Lourenço J.C.Seco R.Hu I.Lanese A.Ravara M.Ribeiro J.Pinto J.B.Sousa R.Menezes F.E.Vieira R.Silva M.Braga R.Surendran V.Sarkar Vasco T. Vasconcelos Max Grossman H.A.López N.Ng C.Santos
Talks about:
parallel (3) deadlock (2) program (2) languag (2) verif (2) synchronis (1) intermedi (1) disciplin (1) stranger (1) protocol (1)

Person: Francisco Martins

DBLP DBLP: Martins:Francisco

Contributed to:

OOPSLA 20152015
PPoPP 20152015
SAC 20152015
ICEIS v2 20132013
SAC 20132013
SAC 20072007
SEFM 20072007
OOPSLA 20172017

Wrote 8 papers:

OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
PPoPP-2015-CogumbreiroHMY #concurrent #verification
Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
SAC-2015-MarquesRPSM #coordination #named #network
NVL: a coordination language for unmanned vehicle networks (ERBM, MR, JP, JBS, FM), pp. 331–334.
ICEIS-v2-2013-DomingosMC #internet #process
Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
SAC-2013-LourencoSM #concurrent
Concurrent typed intermediate language (LML, JCS, FM), pp. 1587–1588.
A model for terrain coverage inspired by ant’s alarm pheromones (RM, FM, FEV, RS, MB), pp. 728–732.
SEFM-2007-LaneseMVR #distributed
Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
OOPSLA-2017-CogumbreiroSMSV #concurrent #parallel #source code #why
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers (TC, RS, FM, VS, VTV, MG), p. 26.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.