Pierre-Malo Deniélou
Pierre-Malo Deniélou
Google Inc
Verified email at denielou.pm - Homepage
Title
Cited by
Cited by
Year
Multiparty session types meet communicating automata
PM Deniélou, N Yoshida
European Symposium on Programming, 194-213, 2012
1622012
Dynamic multirole session types
PM Deniélou, N Yoshida
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1362011
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
1232009
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
1202016
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
1072013
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
942010
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
902016
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
arXiv preprint arXiv:1208.6483, 2012
612012
Asynchronous distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
International Symposium on Trustworthy Global Computing, 25-45, 2011
532011
Secure implementations for typed session abstractions
R Corin, PM Denielou, C Fournet, K Bhargavan, J Leifer
20th IEEE Computer Security Foundations Symposium (CSF'07), 170-186, 2007
482007
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
352008
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond, 105-127, 2014
332014
Buffered communication analysis in distributed multiparty sessions
PM Deniélou, N Yoshida
International Conference on Concurrency Theory, 343-357, 2010
332010
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
112007
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
102015
Secure Execution of Distributed Session Programs
N Alves, R Hu, N Yoshida, PM Deniélou
Arxiv preprint arXiv:1110.4156, 2011
62011
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