Hiroshi Unno -

Registered user since Fri 19 Dec 2014

Name:Hiroshi Unno

Country:Japan

Affiliation:University of Tsukuba; RIKEN AIP

Personal website:http://www.cs.tsukuba.ac.jp/~uhiro/

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