Yifei Sun -

Registered user since Thu 7 May 2026

Name:Yifei Sun

Bio:

F/KC1VZR

AS10779/AS18932

https://bsky.app/profile/stepbrobd.com

Country:France

Affiliation:Inria, ENS de Lyon, Univ. Grenoble Alpes

Personal website: https://perso.ens-lyon.fr/yifei.sun

GitHub: https://github.com/stepbrobd

Contributions

2026

ISSTA

Author of SemantiX: A Compatibility Checker between Applications and Compositions of Distributed Systems within the Research papers-track

SPLASH

Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

ICFP

Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track