• Sign in
  • Sign up
conf.researchr.org / Kohei Suenaga
  • APLAS 2020 profile
  • APLAS 2023 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2012 profile
  • SPLASH 2021 profile
Kohei Suenaga

Registered user since Tue 30 Jun 2015

Name:Kohei Suenaga
Country:Japan
Affiliation:Graduate School of Informatics, Kyoto University
Personal website:https://researchmap.jp/ksuenaga?lang=en
Twitter:https://twitter.com/ksuenaga
GitHub:https://github.com/httpsgithubcomksuenaga
Research interests:Program verification and testing, Smart contracts, (Interpretability of ) machine learning, Hybrid systems

Contributions

APLAS 2023 PC Member in Program Committee within the APLAS 2023-track
POPL 2022 Committee Member in Program Committee within the POPL-track
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
APLAS 2020 Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track
VMCAI 2020 Author of Generalized Property-Directed Reachability for Hybrid Systems within the VMCAI 2020-track
Off the Beaten Track 2018 Author of Towards Proof Synthesis by Neural Machine Translation within the Off the Beaten Track 2018-track
PEPM 2018 Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track
Session Chair of Session 2-2 (part of PEPM 2018)
Committee Member in Programme Committee within the PEPM 2018-track
PPS 2016 Author of A Denotational Semantics of a Probabilistic Stream-Processing Language within the PPS 2016-track
SPLASH 2012 Author of Type-based safe resource deallocation for shared-memory concurrency within the OOPSLA Research Papers-track

Share
xFri 9 Jun 00:58
using conf.researchr.org (v1.60.0)
Support page
Sign Up