Hiroshi Unno

Registered user since Fri 19 Dec 2014

Name:Hiroshi Unno
Country:Japan
Affiliation:University of Tsukuba; RIKEN AIP
Research interests:Programming Languages, Software Verification

Contributions

POPL 2023 Author of Optimal CHC Solving via Termination Proofs within the POPL-track
Author of Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations within the POPL-track
Author of Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification within the POPL-track
SPLASH 2022 Author of Software Model-Checking as Cyclic-Proof Search within the COVID Time Papers In Person-track
Haskell 2022 Committee Member in Program Committee within the Haskell 2022-track
HOPE 2022 Author of Dependent Temporal Type-and-Effect System with Delimited Continuations within the HOPE 2022-track
FLOPS 2022 Author of Constraint-based Relational and Temporal Verification within the AiDL 2022-track
Session Chair of Session 7 (part of FLOPS 2022)
Committee Member in Program Committee within the FLOPS 2022-track
POPL 2022 Author of Software Model-Checking as Cyclic-Proof Search within the POPL-track
SAS 2021 Author of Toward Neural-Network-Guided Program Synthesis and Verification within the SAS-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
POPL 2018 Author of Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs within the Research Papers-track
POPL 2016 Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track
ESOP 2015 Author of Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement within the ESOP-track