Ichiro Hasuo -

Registered user since Tue 27 Oct 2015

Name:Ichiro Hasuo

Country:Japan

Affiliation:National Institute of Informatics, Japan

Personal website:http://group-mmm.org/~ichiro/

Research interests:semantics, category theory, verification, hybrid systems

Contributions

APLAS 2023	PC Member in Program Committee within the APLAS 2023-track
ICSE 2023	Author of FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria within the Journal-First Papers-track
ICST 2023	Author of A Robustness-Based Confidence Measure for Hybrid System Falsification within the Journal-First Papers-track
QP 2023	Committee Member in Program Committee within the QP2023-track
POPL 2023	Committee Member in Program Committee within the POPL-track
ASE 2021	Author of Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems within the Late Breaking Results-track
POPL 2021	Committee Member in Program Committee within the POPL-track
PLMW 2021	Invited Speaker in Invited Speakers within the PLMW 2021-track Speaker of Think Abstractly, Work Concretely within the PLMW 2021-track
APLAS 2020	Committee Member in Program Committee
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
FOSSACS 2019	Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track
GaLoP 2019	Committee Member in Steering Committee within the GaLoP-track
TACAS 2019	Author of Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments within the TACAS 2019-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
POPL 2016	Author of Lattice-Theoretic Progress Measures and Coalgebraic Model Checking within the Research Papers-track Author of Memoryful Geometry of Interaction II: Recursion and Adequacy within the Research Papers-track
VMCAI	Author of Abstract Interpretation with Infinitesimals within the VMCAI-track