Naoki Kobayashi - SPLASH 2021

Registered user since Tue 17 Nov 2015

Name:Naoki Kobayashi

Country:Japan

Affiliation:University of Tokyo, Japan

Research interests:Programming languages; program verification; type systems; model checking

Contributions

SAS 2021	Toward Neural-Network-Guided Program Synthesis and Verification Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
APLAS 2021	Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
Show activities from other conferences

SPLASH 2021-profile
View general profile