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: Serpette:Bernard_P=
Contributed to:
2004
2004
2002
2001
1999
19921991
2018
2017Wrote 10 papers:
- POPL-2004-CaromelHS
- 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.