Travelled to:1 × France
1 × Germany
1 × Spain
1 × USA
1 × United Kingdom
2 × Italy
2 × Portugal
Collaborated with:∅ N.Yoshida K.Honda A.Ravara F.Martins L.M.B.Lopes F.M.A.Silva M.Kubo I.Lanese L.Bocchi M.Murgia S.J.Gay N.Gesbert A.Z.Caldeira H.A.López E.R.B.Marques N.Ng C.Santos
Talks about:type (7) session (4) program (4) process (3) disciplin (2) orient (2) object (2) time (2) base (2) multithread (1)
Person: Vasco Thudichum Vasconcelos
DBLP: Vasconcelos:Vasco_Thudichum
Contributed to:
2015
2010
2009
2009
2007
200019991998
19942019Wrote 10 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.
- POPL-2010-GayVRGC #composition #distributed #object-oriented #programming
- Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
- PPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread
- Session types for linear multithreaded functional programming (VTV), pp. 1–6.
- SFM-2009-Vasconcelos
- Fundamentals of Session Types (VTV), pp. 158–186.
- SEFM-2007-LaneseMVR #distributed
- Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
- ESOP-2000-HondaVY #behaviour #data flow #process
- Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
- PPDP-1999-LopesSV #calculus #process #virtual machine
- A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
- ESOP-1998-HondaVK #programming
- Language Primitives and Type Discipline for Structured Communication-Based Programming (KH, VTV, MK), pp. 122–138.
- ECOOP-1994-Vasconcelos #concurrent
- Typed Concurrent Objects (VTV), pp. 100–117.
- ESOP-2019-BocchiMVY #process
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (LB, MM, VTV, NY), pp. 583–610.