Michele Chiari -

Registered user since Fri 5 Mar 2021

Name:Michele Chiari

Country:Austria

Affiliation:TU Wien

Personal website:https://michiari.github.io/

Twitter:https://twitter.com/micchiari

GitHub:https://github.com/michiari

Research interests:Formal Methods, Approximate Computing, Temporal Logic, Model Checking, Software Verification

Contributions

ECOOP 2023	Committee Member in Extended Review Committee within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
‹Programming› 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2022	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
ECOOP 2022	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
ICST 2022	Committee Member in Program Committee within the Posters-track
SPLASH 2021	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICSE 2021	Author of A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions within the Journal-First Papers-track