Bernard P. Serpette

26 papers A* 2A 3B 3C 3Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2021 — conf
MidifilePerformer: a case study for chronologies.
FARM@ICFP
Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette
2019 B conf
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity.
RV
Nic Volanschi, Bernard P. Serpette
2018 J jnl
A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
Nic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel
2018 B conf
Implementing a semi-causal domain-specific language for context detection over binary sensors.
GPCE
Nic Volanschi, Bernard P. Serpette, Charles Consel
2017 J jnl
Type Abstraction for Relaxed Noninterference (Artifact).
Dagstuhl Artifacts Ser.
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
2017 A conf
Type Abstraction for Relaxed Noninterference.
ECOOP
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
2014 — conf
Unification des couleurs dans un λ-calcul polychrome.
JFLA
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
2012 — conf
Relaxed Operational Semantics of Concurrent Programming Languages
EXPRESS/SOS
Gérard Boudol, Gustavo Petri, Bernard P. Serpette
2011 C conf
An interpreter for server-side hop.
DLS
Bernard P. Serpette, Manuel Serrano
2009 J jnl
Asynchronous sequential processes.
Inf. Comput.
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
2009 — conf
Qui sème la fonction, récolte le tuyau typé.
JFLA
Didier Parigot, Bernard P. Serpette
2009 J jnl
Qui sème la fonction, récolte le tuyau typé.
Stud. Inform. Univ.
Didier Parigot, Bernard P. Serpette
2008 J jnl
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.
J. Autom. Reason.
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
2008 J jnl
iRho: an imperative rewriting calculus.
Math. Struct. Comput. Sci.
Luigi Liquori, Bernard P. Serpette
2004 A* conf
Asynchronous and deterministic objects.
POPL
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
2004 J jnl
Bigloo.NET: compiling Scheme to .NET CLR.
J. Object Technol.
Yannis Bres, Bernard P. Serpette, Manuel Serrano
2004 C conf
Scheme fair threads.
PPDP
Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette
2004 C conf
iRho: an imperative rewriting calculus.
PPDP
Luigi Liquori, Bernard P. Serpette
2003 — conf
A Parametrized Polyvariant Bytecode Verifier.
JFLA
Ludovic Henrio, Bernard P. Serpette
2002 A conf
Compiling scheme to JVM bytecode: : a performance study.
ICFP
Bernard P. Serpette, Manuel Serrano
2001 A conf
A Formal Executable Semantics of the JavaCard Platform.
ESOP
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
2001 — conf
Context Inference for Static Analysis of Java Card Object Sharing.
E-smart
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
2000 B conf
Static Reduction Analysis for Imperative Object Oriented Languages.
LPAR
Gilles Barthe, Bernard P. Serpette
1999 — conf
Partial Evaluation and Non-interference for Object Calculi.
Fuji International Symposium on Functional and Logic Programming
Gilles Barthe, Bernard P. Serpette
1992 — conf
Approximations d'évaluateurs fonctionnels.
WSA
Bernard P. Serpette
1991 A* conf
A Dynamic Extent Control Operator for Partial Continuations.
POPL
Christian Queinnec, Bernard P. Serpette