Publications
"Deductive Verification of MPI Protocols",
Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
"Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)",
Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
"Verification of MPI programs using session types",
Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
"Type safety without subject reduction for session types",
UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
"Session-based compilation framework for multicore programming",
Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
"Session-based type discipline for pi calculus with matching",
In the preproceedings of PLACES, vol. 9, 2009.
"Type-directed compilation for multicore programming",
Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
"Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication",
Electronic Notes in Theoretical Computer Science, vol. 171, no. 4: Elsevier, pp. 73–93, 2007.