Collaborated with:Joana Campos Peter Thiemann 0001 T.Cogumbreiro R.Surendran F.Martins V.Sarkar Max Grossman
Talks about:parallel (2) depend (2) type (2) stranger (1) deadlock (1) session (1) program (1) should (1) object (1) mutabl (1)
Person: Vasco T. Vasconcelos
DBLP: Vasconcelos:Vasco_T=
Contributed to:
2017
2018
2020Wrote 3 papers:
- 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.
- ECOOP-2018-CamposV #dependent type
- Dependent Types for Class-based Mutable Objects (JC, VTV), p. 28.
- POPL-2020-ThiemannV
- Label-dependent session types (PT0, VTV), p. 29.