Hiroshi Unno

11 papers at tracked venues · 9 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

PLDI ×4 POPL ×3 OOPSLA ×2 AAAI ×1 FSE ×1

Frequent coauthors

Taro Sekiyama

×5

Takeshi Tsukada

×4

Satoshi Kura

×2

Tachio Terauchi

×2

Negar Fathi

×1

Rahul Purandare

×1

Oded Padon

×1

Sharon Shoham

×1

Ugo Dal Lago

×1

Jie-Hong Roland Jiang

×1

Hiromi Ogawa

×1

Fuga Kawamata

×1

Papers

A Hierarchy of Supermartingales for ω-Regular Verification
PLDI 2026 ·
Satoshi Kura
, Hiroshi Unno
Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
FSE 2026 ·
Negar Fathi
, Hiroshi Unno,
Tachio Terauchi
,
Rahul Purandare
Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
PLDI 2026 ·
Satoshi Kura
, Hiroshi Unno,
Takeshi Tsukada
A Primal-Dual Perspective on Program Verification Algorithms
POPL 2025 ·
Takeshi Tsukada
, Hiroshi Unno,
Oded Padon
,
Sharon Shoham
Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
POPL 2025 ·
Taro Sekiyama
, Hiroshi Unno
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
OOPSLA 2025 ·
Taro Sekiyama
,
Ugo Dal Lago
, Hiroshi Unno
Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
AAAI 2025 · Hiroshi Unno,
Takeshi Tsukada
,
Jie-Hong Roland Jiang
Thrust: A Prophecy-Based Refinement Type System for Rust
PLDI 2025 ·
Hiromi Ogawa
,
Taro Sekiyama
, Hiroshi Unno
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
POPL 2024 ·
Fuga Kawamata
, Hiroshi Unno,
Taro Sekiyama
,
Tachio Terauchi
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
OOPSLA 2024 ·
Taro Sekiyama
, Hiroshi Unno
Inductive Approach to Spacer
PLDI 2024 ·
Takeshi Tsukada
, Hiroshi Unno