• Sign in
  • Sign up
conf.researchr.org / Hiromi Ogawa
  • APSEC 2022 profile
  • ICFP 2020 profile
  • PLDI 2025 profile

Registered user since Sun 15 Jun 2025

Name:Hiromi Ogawa
Country:Japan
Affiliation:University of Tsukuba
GitHub: https://github.com/coord-e

Contributions

2025

PLDI

  • Author of Thrust: A Prophecy-Based Refinement Type System for Rust within the PLDI Research Papers-track

2020

HIW

  • Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track
Share
xThu 25 Sep 17:48
using conf.researchr.org (v1.71.1)
Support page
Sign Up