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 × Japan
2 × USA
3 × Italy
Collaborated with:
M.Serrano G.Barthe L.Liquori C.Queinnec D.Caromel L.Henrio F.Boussinot N.Volanschi C.Consel Raimil Cruz T.Rezk É.Tanter G.Dufay L.Jakubiec S.M.d.Sousa
Talks about:
partial (2) scheme (2) object (2) noninterfer (1) determinist (1) implement (1) asynchron (1) platform (1) calculus (1) abstract (1)

Person: Bernard P. Serpette

DBLP DBLP: Serpette:Bernard_P=

Contributed to:

POPL 20042004
PPDP 20042004
ICFP 20022002
ESOP 20012001
FLOPS 19991999
WSA 19921992
POPL 19911991
GPCE 20182018
ECOOP 20172017

Wrote 10 papers:

Asynchronous and deterministic objects (DC, LH, BPS), pp. 123–134.
PPDP-2004-LiquoriS #calculus #imperative #named
iRho: an imperative rewriting calculus (LL, BPS), pp. 167–178.
PPDP-2004-SerranoBS #thread
Scheme fair threads (MS, FB, BPS), pp. 203–214.
ICFP-2002-SerpetteS #bytecode #compilation #performance #virtual machine
Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
ESOP-2001-BartheDJSS #execution #framework #platform #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
FLOPS-1999-BartheS #calculus #partial evaluation
Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.
WSA-1992-Serpette #approximate #french
Approximations d’évaluateurs fonctionnels (BPS), pp. 79–90.
POPL-1991-QueinnecS #continuation
A Dynamic Extent Control Operator for Partial Continuations (CQ, BPS), pp. 174–184.
GPCE-2018-VolanschiSC #detection #domain-specific language #implementation
Implementing a semi-causal domain-specific language for context detection over binary sensors (NV, BPS, CC), pp. 66–78.
ECOOP-2017-CruzRST #abstraction
Type Abstraction for Relaxed Noninterference (RC, TR, BPS, ÉT), p. 27.

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.