Yuki Nishida -

Registered user since Tue 4 Apr 2017

Name:Yuki Nishida

Affiliation:Kyoto University

Contributions

APLAS 2020	Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
APLAS 2019	Author of Manifest Contracts with Intersection Types within the Research Papers-track
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2017	Student Volunteer Co-Captain in Organizing Committee
ICFP 2016	Student Volunteer Co-Chair in Organizing Committee