Travelled to:1 × Cyprus
1 × France
1 × Greece
1 × Hungary
2 × Italy
2 × Spain
2 × USA
Collaborated with:∅ G.Petri I.Castellani G.Berry J.Grande M.Serrano
Talks about:concurr (3) calculus (2) program (2) system (2) semant (2) comput (2) model (2) type (2) noninterfer (1) intersect (1)
Person: Gérard Boudol
DBLP: Boudol:G=eacute=rard
Contributed to:
2015
2010
200920082004
20032001
200119971990
19871989Wrote 12 papers:
- PPDP-2015-GrandeBS #concurrent #library #thread
- Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.
- ESOP-2010-BoudolP #formal method
- A Theory of Speculative Computation (GB, GP), pp. 165–184.
- POPL-2009-BoudolP #approach #memory management #modelling
- Relaxed memory models: an operational approach (GB, GP), pp. 392–403.
- ESOP-2008-Boudol #type system
- Typing Safe Deallocation (GB), pp. 116–130.
- ESOP-2004-Boudol #named #programming
- ULM: A Core Programming Model for Global Computing: (GB), pp. 234–248.
- TLCA-2003-Boudol #normalisation #on the
- On Strong Normalization in the Intersection Type Discipline (GB), pp. 60–74.
- ESOP-2001-Boudol #recursion #revisited #semantics
- The Recursive Record Semantics of Objects Revisited (GB), pp. 269–283.
- ICALP-2001-BoudolC #concurrent #source code
- Noninterference for Concurrent Programs (GB, IC), pp. 382–395.
- POPL-1997-Boudol #π-calculus
- The π-calculus in Direct Style (GB), pp. 228–241.
- POPL-1990-BerryB #automaton
- The Chemical Abstract Machine (GB, GB), pp. 81–94.
- CAAP-1987-BoudolC #concurrent #on the #partial order #semantics
- On the Semantics of Concurrency: Partial Orders and Transition Systems (GB, IC), pp. 123–137.
- CAAP-1989-Boudol #communication #concurrent #towards #λ-calculus
- Towards a Lambda-Calculus for Concurrent and Communicating Systems (GB), pp. 149–161.