publications

  • deductive verification of mpi protocols (betty book)
  • context-free session types (icfp'16)
  • behavioral types in programming languages (ftpl 2016)
  • foundations of session types and behavioural contracts (csur 2016)
  • linearity, session types and the pi calculus (mscs 2016)
  • protocol-based verification of message-passing parallel programs (oopsla'15)
  • unification of session trees (unif'15)
  • imperative objects with dependent types (FTfJP'15)
  • affine sessions (lmcs soon)
  • a concurrent programming language with refined session types (beat2 post)
  • fundamentals of session types (pdf, i&c 2012)
  • DBLP | GoogleScholar | ACM | Orcid | Scopus

    (read more...)