Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Naoki Iwayama
conf.researchr.org general profile
APLAS 2020 profile
POPL 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Sun 17 May 2020
Name:
Naoki Iwayama
Affiliation:
University of Tokyo, Japan
Contributions
2022
SPLASH
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the COVID Time Papers In Person-track
2020
APLAS
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track
Static Analysis Symposium
Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track
2019
PEPM
Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track
Share
x
Tue 6 May 15:00
