publications

  • statically checking rest api consumers (sefm'20)
  • mixed sessions: the other side of the tape (places'20)
  • duality of session types: the final cut (places'20)
  • mixed sessions (esop'20)
  • deciding the bisimilarity of context-free session types (tacas'20)
  • label-dependent session types (popl'20)
  • the computational content of atomic polymorphism (logic journal igpl 2020)
  • affine sessions (lmcs 2018)
  • dependent types for class-based mutable objects (ecoop'18)
  • deadlock avoidance in parallel programs with futures (oopsla'17)
  • gradual session types (icfp'17, journal)
  • context-free session types (icfp'16)
  • foundations of session types and behavioural contracts (csur 2016)
  • protocol-based verification of message-passing parallel programs (oopsla'15)
  • fundamentals of session types (pdf, i&c 2012)
  • DBLP | GoogleScholar | Orcid | Scopus | WoS | RG | ACM | CienciaVitae

    (read more...)