Yuki Nishida -

Registered user since Tue 4 Apr 2017

Name:Yuki Nishida

Country:Japan

Affiliation:Tohoku University

Research interests:Type System, Formal Verification, Blockchain

Contributions

2024

SPLASH

Author of Law and Order for Typestate with Borrowing within the OOPSLA 2024-track

ICFP

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

Scheme

Committee Member in Program Committee within the Scheme 2024-track

2023

ICFP

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

2022

ICFP

Japan in Evaluators within the Artifact Evaluation-track

2020

APLAS

Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track

SPLASH

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

ICFP

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

2019

APLAS

Author of Manifest Contracts with Intersection Types within the Research Papers-track

ICFP

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

2017

ICFP

Student Volunteer Co-Captain in Organizing Committee

2016

ICFP

Student Volunteer Co-Chair in Organizing Committee