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: Cogumbreiro:Tiago
Contributed to:
2015
2017Wrote 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.