Bernard P. Serpette

According to our database, Bernard P. Serpette authored at least 24 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

MidifilePerformer: a case study for chronologies.

Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette

Proceedings of the FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, 2021

2019

AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity.

Nic Volanschi, Bernard P. Serpette

Proceedings of the Runtime Verification - 19th International Conference, 2019

2018

A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living.

Nic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

Implementing a semi-causal domain-specific language for context detection over binary sensors.

Nic Volanschi, Bernard P. Serpette, Charles Consel

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017

Type Abstraction for Relaxed Noninterference (Artifact).

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Dagstuhl Artifacts Ser., 2017

Type Abstraction for Relaxed Noninterference.

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2014

Unification des couleurs dans un λ-calcul polychrome.

Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2012

Relaxed Operational Semantics of Concurrent Programming Languages

Gérard Boudol, Gustavo Petri, Bernard P. Serpette

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

2011

An interpreter for server-side hop.

Bernard P. Serpette, Manuel Serrano

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2009

Qui sème la fonction, récolte le tuyau typé.

Didier Parigot, Bernard P. Serpette

Stud. Inform. Univ., 2009

Asynchronous sequential processes.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Inf. Comput., 2009

2008

iRho: an imperative rewriting calculus.

Luigi Liquori, Bernard P. Serpette

Math. Struct. Comput. Sci., 2008

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.

Laurence Rideau, Bernard P. Serpette, Xavier Leroy

J. Autom. Reason., 2008

2004

Bigloo.NET: compiling Scheme to .NET CLR.

Yannis Bres, Bernard P. Serpette, Manuel Serrano

J. Object Technol., 2004

Scheme fair threads.

Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Asynchronous and deterministic objects.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003

A Parametrized Polyvariant Bytecode Verifier.

Ludovic Henrio, Bernard P. Serpette

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2002

Compiling scheme to JVM bytecode: : a performance study.

Bernard P. Serpette, Manuel Serrano

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

A Formal Executable Semantics of the JavaCard Platform.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa

Proceedings of the Programming Languages and Systems, 2001

Context Inference for Static Analysis of Java Card Object Sharing.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Proceedings of the Smart Card Programming and Security, 2001

2000

Static Reduction Analysis for Imperative Object Oriented Languages.

Gilles Barthe, Bernard P. Serpette

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Partial Evaluation and Non-interference for Object Calculi.

Gilles Barthe, Bernard P. Serpette

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1992

Approximations d'évaluateurs fonctionnels.

Bernard P. Serpette

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

1991

A Dynamic Extent Control Operator for Partial Continuations.

Christian Queinnec, Bernard P. Serpette

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991