publications

  • deadlock avoidance in parallel programs with futures (oopsla'17)
  • gradual session types (icfp'17)
  • 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)
  • affine sessions (lmcs soon)
  • fundamentals of session types (pdf, i&c 2012)
  • DBLP | GoogleScholar | ACM | Orcid | Scopus

    (read more...)