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 × 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 DBLP: Boudol:G=eacute=rard

Contributed to:

PPDP 20152015
ESOP 20102010
POPL 20092009
ESOP 20082008
ESOP 20042004
TLCA 20032003
ESOP 20012001
ICALP 20012001
POPL 19971997
POPL 19901990
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT, Vol.1: CAAP 19891989

Wrote 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.

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.