Damien Zufferey -

Registered user since Sat 8 Aug 2015

Name:Damien Zufferey

Country:Switzerland

Affiliation:SonarSource

Personal website: https://dzufferey.github.io/

Contributions

2025

SPLASH

Author of Characterizing Implementability of Global Protocols with Infinite States and Data within the OOPSLA-track

POPL

Committee Member in Program Committee within the POPL-track

2024

SPLASH

Committee Member in Review Committee within the OOPSLA 2024-track

2023

ST

Author of Complete Multiparty Session Type Projection with Automata within the ST30-track

2021

POPL

Committee Member in Program Committee within the POPL-track

2020

SPLASH

VMCAI

2019

APLAS

Ordinary PC member in Program Committee within the Research Papers-track

ECOOP

Author of Motion Session Types for Robotic Interactions within the Research Papers-track

VMCAI

Committee Member in Program Committee within the VMCAI 2019-track

2018

Onward!

Author of Tool: Accessible Automated Reasoning for Human Robot Collaboration within the Onward! Papers-track

Scala

Committee Member in Program Committee within the Scala 2018-track

PLDI

Committee Member in Student Research Competition Committee

ICSE

Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track

2017

POPL

ERC member in External Review Committee within the POPL-track

2016

POPL

Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the Research Papers-track

2015

AGERE

Committee Member in Program Committee within the AGERE-track