• Sign in
  • Sign up
conf.researchr.org / Chiao Hsieh
  • ATVA 2025 profile
  • ECOOP 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile
  • SPLASH/ISSTA 2026 profile

Registered user since Thu 20 Aug 2020

Name:Chiao Hsieh
Bio:

Program-Specific Assistant Professor in Computer Software Group at Kyoto University.

Country:Japan
Affiliation:Kyoto University
Personal website: https://hc825b.github.io
GitHub: https://github.com/hc825b
Research interests:Verification, Cyber-Physical Systems, Formal Methods, Testing

Contributions

2026

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

2025

ATVA

  • Committee Member in Artifact Evaluation Committee

2023

SPLASH

  • Author of Perception Contracts for Safety of ML-Enabled Systems within the OOPSLA-track

2022

ECOOP

  • Committee Member in Extended Review Committee within the Research Papers-track
  • Committee Member in Artifact Evaluation Committee within the Artifacts-track

2021

SPLASH

  • Author of Koord: a language for programming and verifying distributed robotics applications within the SIGPLAN Papers-track

2020

SPLASH

  • Author of Koord: A Language for Programming and Verifying Distributed Robotics Application within the OOPSLA-track
Share
xWed 25 Jun 01:02
using conf.researchr.org (v1.69.1)
Support page
Sign Up