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
1822012
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
1722016
Dynamic multirole session types
PM Deniélou, N Yoshida
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1482011
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
1282016
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
1262013
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
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
942010
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
arXiv preprint arXiv:1208.6483, 2012
722012
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
622011
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
552007
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
372008
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
342014
Buffered communication analysis in distributed multiparty sessions
PM Deniélou, N Yoshida
International Conference on Concurrency Theory, 343-357, 2010
342010
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
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
122015
A protocol compiler for secure sessions in ML
R Corin, PM Deniélou
International Symposium on Trustworthy Global Computing, 276-293, 2007
122007
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