Pierre-Malo Deniélou

According to our database, Pierre-Malo Deniélou authored at least 16 papers between 2006 and 2016.

Collaborative distances:

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

2016

Behavioral Types in Programming Languages.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida

Found. Trends Program. Lang., 2016

Foundations of Session Types and Behavioural Contracts.

Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

ACM Comput. Surv., 2016

2015

Combining behavioural types with security analysis.

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2015

2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2013

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Parameterised Multiparty Session Types

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu

Log. Methods Comput. Sci., 2012

Multiparty Session Types Meet Communicating Automata.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2012

2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.

Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Dynamic multirole session types.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Secure Execution of Distributed Session Programs

Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Buffered Communication Analysis in Distributed Multiparty Sessions.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

A secure compiler for session abstractions.

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

J. Comput. Secur., 2008

2007

A Protocol Compiler for Secure Sessions in ML.

Ricardo Corin, Pierre-Malo Deniélou

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Secure Implementations for Typed Session Abstractions.

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Abstraction preservation and subtyping in distributed languages.

Pierre-Malo Deniélou, James J. Leifer

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006