Bernard P. Serpette

2009
15	EE	Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous sequential processes. Inf. Comput. 207(4): 459-495 (2009)
2008
14	EE	Laurence Rideau, Bernard P. Serpette, Xavier Leroy: Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reasoning 40(4): 307-326 (2008)
13	EE	Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. Mathematical Structures in Computer Science 18(3): 467-500 (2008)
2004
12	EE	Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous and deterministic objects. POPL 2004: 123-134
11	EE	Luigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. PPDP 2004: 167-178
10	EE	Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette: Scheme fair threads. PPDP 2004: 203-214
9	EE	Yannis Bres, Bernard P. Serpette, Manuel Serrano: Bigloo.NET: compiling Scheme to .NET CLR. Journal of Object Technology 3(9): 71-94 (2004)
2003
8		Ludovic Henrio, Bernard P. Serpette: A Parametrized Polyvariant Bytecode Verifier. JFLA 2003: 95-110
2002
7	EE	Bernard P. Serpette, Manuel Serrano: Compiling scheme to JVM bytecode: : a performance study. ICFP 2002: 259-270
2001
6	EE	Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Context Inference for Static Analysis of Java Card Object Sharing. E-smart 2001: 43-57
5	EE	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa: A Formal Executable Semantics of the JavaCard Platform. ESOP 2001: 302-319
2000
4	EE	Gilles Barthe, Bernard P. Serpette: Static Reduction Analysis for Imperative Object Oriented Languages. LPAR 2000: 344-361
1999
3		Gilles Barthe, Bernard P. Serpette: Partial Evaluation and Non-inference for Object Calculi. Fuji International Symposium on Functional and Logic Programming 1999: 53-67
1992
2		Bernard P. Serpette: Approximations d'évaluateurs fonctionnels. WSA 1992: 79-90
1991
1		Christian Queinnec, Bernard P. Serpette: A Dynamic Extent Control Operator for Partial Continuations. POPL 1991: 174-184

Coauthor Index

1	Gilles Barthe	[3] [4] [5]
2	Frédéric Boussinot	[10]
3	Yannis Bres	[9]
4	Denis Caromel	[6] [12] [15]
5	Guillaume Dufay	[5]
6	Ludovic Henrio	[6] [8] [12] [15]
7	Line Jakubiec	[5]
8	Xavier Leroy	[14]
9	Luigi Liquori	[11] [13]
10	Christian Queinnec	[1]
11	Laurence Rideau	[14]
12	Manuel Serrano	[7] [9] [10]
13	Simão Melo de Sousa	[5]

Colors in the list of coauthors