Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Damien Zufferey

Multiparty Motion Coordination: From Choreographies to Robotics Programs


Oct 12, 2020
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

* Full version of OOPSLA 2020 Paper 

  Access Paper or Ask Questions

DroidStar: Callback Typestates for Android Classes


Mar 02, 2018
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Černý

* Appearing at ICSE 2018 

  Access Paper or Ask Questions