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 × USA
Collaborated with:
F.Martins R.Hu N.Yoshida R.Surendran V.Sarkar Vasco T. Vasconcelos Max Grossman
Talks about:
parallel (2) deadlock (2) synchronis (1) stranger (1) program (1) general (1) barrier (1) should (1) verif (1) futur (1)

Person: Tiago Cogumbreiro

DBLP DBLP: Cogumbreiro:Tiago

Contributed to:

PPoPP 20152015
OOPSLA 20172017

Wrote 2 papers:

PPoPP-2015-CogumbreiroHMY #concurrent #verification
Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
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.