conf.researchr.org / Yuki Nishida

Registered user since Tue 4 Apr 2017

Name: Yuki Nishida

Affiliation: Kyoto University

Contributions

SPLASH 2020Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
APLAS 2019Author of Manifest Contracts with Intersection Types within the Research Papers-track
ICFP 2019Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2017Student Volunteer Co-Captain in Organizing Committee
ICFP 2016Student Volunteer Co-Chair in Organizing Committee