Hiroshi Unno -

Registered user since Fri 19 Dec 2014

Name:Hiroshi Unno

Country:Japan

Affiliation:University of Tsukuba

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

Research interests:Programming Languages, Software Verification

Contributions

2024

POPL

Author of Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers within the POPL-track
Committee Member in Program Committee within the POPL-track

VMCAI

Keynote Speaker of Automating Relational Verification of Infinite-State Programs within the VMCAI 2024-track

2023

POPL

2022

SPLASH

Author of Software Model-Checking as Cyclic-Proof Search within the COVID Time Papers In Person-track

Haskell

Committee Member in Program Committee within the Haskell 2022-track

HOPE

Author of Dependent Temporal Type-and-Effect System with Delimited Continuations within the HOPE 2022-track

FLOPS

POPL

Author of Software Model-Checking as Cyclic-Proof Search within the POPL-track

2021

Static Analysis Symposium

Author of Toward Neural-Network-Guided Program Synthesis and Verification within the SAS-track

2020

POPL

Committee Member in Program Committee within the Research Papers-track

2019

APLAS

Ordinary PC member in Program Committee within the Research Papers-track

2018

POPL

Author of Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs within the Research Papers-track

2016

POPL

Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track

2015

ESOP

Author of Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement within the ESOP-track