• Sign in
  • Sign up
conf.researchr.org / Koji Nakazawa
  • APLAS & ATVA 2026 profile
  • APLAS 2019 profile
  • APLAS 2024 profile
  • ICFP 2026 profile
  • POPL 2016 profile

Registered user since Tue 3 Dec 2019

Name:Koji Nakazawa
Country:Japan
Affiliation:Nagoya University
Personal website: https://knaknak.github.io/index-e.html

Contributions

2026

APLAS

  • Committee Member in Program Committee within the APLAS Research Papers-track

LOPSTR

  • Committee Member in Program Committee within the LOPSTR+PPDP 2026-track

2024

APLAS

  • Author of Relative Completeness of Incorrectness Separation Logic within the Research Papers-track

2019

APLAS

  • Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track

2016

LAFI

  • Author of A Denotational Semantics of a Probabilistic Stream-Processing Language within the PPS 2016-track
Share
xWed 21 Oct 21:40
using conf.researchr.org (v1.76.1)
Support page
Sign Up