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
2342016
Multiparty session types meet communicating automata
PM Deniélou, N Yoshida
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
2042012
Dynamic multirole session types
PM Deniélou, N Yoshida
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1662011
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
1632016
Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types
PM Deniélou, N Yoshida
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
1442013
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
1262009
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
Foundations of Software Science and Computational Structures: 13th …, 2010
952010
Parameterised multiparty session types
R Hu, A Bejleri, N Yoshida, PM Denielou
Logical Methods in Computer Science 8, 2012
872012
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
612012
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-636, 2008
382008
Buffered communication analysis in distributed multiparty sessions
PM Deniélou, N Yoshida
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 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
352014
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
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
142015
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
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008
92008
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