Naoki Kobayashi -

Registered user since Tue 17 Nov 2015

Name:Naoki Kobayashi

Country:Japan

Affiliation:University of Tokyo

Personal website: https://www.kb.is.s.u-tokyo.ac.jp/~koba/

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

Contributions

2025

POPL

Committee Member in Program Committee within the POPL-track
Author of On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus within the POPL-track

2024

APLAS

Author of High-Order Fixpoint Logic for Automated Program Verification within the Keynote-track
Author of Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem within the Research Papers-track

VMCAI

Author of Borrowable Fractional Ownership Types for Verification within the VMCAI 2024-track

PEPM

2023

APLAS

ICFP

Author of Higher-Order Property-Directed Reachability within the ICFP Papers and Events-track

POPL

Author of HFL(Z) Validity Checking for Automated Program Verification within the POPL-track

2022

SPLASH

Static Analysis Symposium

Author of Parameterized Recursive Refinement Types for Automated Program Verification within the SAS-track

FLOPS

Author of Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula within the FLOPS 2022-track

PEPM

Author of On Type-Based Techniques for Program Manipulation within the PEPM 2022-track

2021

Static Analysis Symposium

APLAS

Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track

ML

Committee Member in Program Committee within the ML 2021-track

POPL

Committee Member in Program Committee within the POPL-track

PEPM

Author of Counterexample Generation for Program Verification based on Ownership Refinement Types within the PEPM 2021-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

APLAS

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track

PEPM

2018

ICFP

Committee Member in External Review Committee within the Research Papers-track

2017

FSCD

Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track

POPL

PEPM

Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track

2016

ICFP

POPL

2015

PEPM

Author of Verifying Relational Properties of Functional Programs by First-Order Refinement within the PEPM 2015-track