Michele Chiari

پژوهشگر · Formal Methods

France

معرفی

Michele Chiari is a researcher at TU Wien (Vienna University of Technology) specializing in formal methods, software verification, and approximate computing. With active contributions to academic conferences like SPLASH, ICFP, and ECOOP, they combine theoretical rigor with practical applications in programming language design and analysis.

Research Focus

Temporal logic and model checking
Probabilistic program inference
Floating-point verification techniques
Parallel parsing algorithms

Conference Involvement

2025: Member of OOPSLA Review Committee (SPLASH conference)
2025: Program Committee member for VORTEX-track
2024: Committee Member in VORTEX conference
2023: External Reviewer for ECOOP Research Papers-track

Publications

2025: Boosting Parallel Parsing through Cyclic Operator Precedence Grammars (SLE track)
2025: Exact Inference for Nested Discrete Probabilistic Programs (LAFI track)
2021: Verification of Floating-Point C/C++ Programs with math.h/cmath Functions (ICSE Journal-First Papers)

حوزه‌های پژوهشی

Formal Methods Approximate Computing Temporal Logic Model Checking Software Verification Probabilistic Programming Floating-Point Verification Operator Precedence Grammars Parallel Parsing Nested Discrete Probabilistic Programs

۰مقاله منتشرشده

Michele Chiari

معرفی

Research Focus

Conference Involvement

Publications

Michele Chiari در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند