Follow
Pierre-Malo Deniélou
Pierre-Malo Deniélou
Google Inc
Verified email at denielou.pm - Homepage
Title
Cited by
Cited by
Year
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
2712016
Multiparty session types meet communicating automata
PM Deniélou, N Yoshida
European Symposium on Programming, 194-213, 2012
2102012
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
1872016
Dynamic multirole session types
PM Deniélou, N Yoshida
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1772011
Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types
PM Deniélou, N Yoshida
International Colloquium on Automata, Languages, and Programming, 174-186, 2013
1552013
Cryptographic protocol synthesis and verification for multiparty sessions
K Bhargavan, R Corin, PM Deniélou, C Fournet, JJ Leifer
2009 22nd IEEE Computer Security Foundations Symposium, 124-140, 2009
1252009
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
992010
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
Logical Methods in Computer Science 8, 2012
922012
Asynchronous distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012
642012
Secure implementations for typed session abstractions
R Corin, PM Deniélou, C Fournet, K Bhargavan, J Leifer
20th IEEE Computer Security Foundations Symposium (CSF'07), 170-186, 2007
542007
A secure compiler for session abstractions
R Corin, PM Deniélou, C Fournet, K Bhargavan, J Leifer
Journal of Computer Security 16 (5), 573, 2008
392008
Buffered communication analysis in distributed multiparty sessions
PM Deniélou, N Yoshida
International Conference on Concurrency Theory, 343-357, 2010
372010
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014
332014
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
162015
Foundations of behavioural types
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014
152014
Abstraction preservation and subtyping in distributed languages
PM Deniélou, JJ Leifer
ACM SIGPLAN Notices 41 (9), 286-297, 2006
142006
A protocol compiler for secure sessions in ML
R Corin, PM Deniélou
International Symposium on Trustworthy Global Computing, 276-293, 2007
92007
Secure Execution of Distributed Session Programs
N Alves, R Hu, N Yoshida, PM Deniélou
Arxiv preprint arXiv:1110.4156, 2011
42011
Distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
22011
Dependent Session Types for Evolving Multiparty Communication Topologies
N Yoshida, PM Deniélou, A Bejleri, R Hu
12009
The system can't perform the operation now. Try again later.
Articles 1–20