Research

If you like little squares, here’s my DBLP.

Context-Free Temporal Logic

A First-Order Complete Temporal Logic for Structured Context-Free Languages
M. Chiari, D. Mandrioli, M. Pradella
Log. Methods Comput. Sci. 18(3) (2022) [doi]

Verification of Programs with Exceptions through Operator Precedence Automata
F. Pontiggia, M. Chiari, M. Pradella
SEFM 2021, LNCS 13085: 293–311 (2021) [doi] [preprint]

Model-Checking Structured Context-Free Languages
M. Chiari, D. Mandrioli, M. Pradella
CAV 2021, LNCS 12760: 387–410 (2021) [doi] [preprint] [video]

Operator Precedence Temporal Logic and Model Checking
M. Chiari, D. Mandrioli, M. Pradella
Theor. Comput. Sci. 848: 47–81 (2020) [doi] [preprint]

Linear Temporal Logics for Structured Context-Free Languages
M. Chiari, D. Bergamaschi, D. Mandrioli, M. Pradella
ICTCS 2020, CEUR Workshop Proceedings 2756: 115–121 (2020)

Word- and Tree-based Temporal Logics for Operator Precedence Languages
M. Chiari, D. Mandrioli, M. Pradella
ICTCS 2019, CEUR Workshop Proceedings 2504: 222–228 (2019)

Temporal Logic and Model Checking for Operator Precedence Languages
M. Chiari, D. Mandrioli, M. Pradella
GandALF 2018, EPTCS 277: 161–175 (2018) [doi]

Floating-Point Program Verification

Correct approximation of IEEE 754 floating-point arithmetic for program verification
R. Bagnara, A. Bagnara, F. Biselli, M. Chiari, R. Gori
Constraints 27(1-2): 29–69 (2022) [doi] [preprint]

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
R. Bagnara, M. Chiari, R. Gori, A. Bagnara
ACM Trans. Softw. Eng. Methodol. 30(1): 9:1–9:53 (Presented at ICSE 2021 Journal-First) (2021) [doi] [preprint] [video]

Approximate Computing

Architecture-aware Precision Tuning with Multiple Number Representation Systems
D. Cattaneo, M. Chiari, N. Fossati, S. Cherubin, G. Agosta
DAC 2021: 673–678 (2021) [doi] [preprint]

FixM: Code generation of fixed point mathematical functions
D. Cattaneo, M. Chiari, G. Magnani, N. Fossati, S. Cherubin, G. Agosta
Sustain. Comput. Informatics Syst. 29 Part B: 100478 (2021) [doi]

The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control
G. Magnani, D. Cattaneo, M. Chiari, G. Agosta
PARMA-DITAM@HiPEAC 2021, OASIcs 88: 3:1–3:13 (2021) [doi]

Dynamic Precision Autotuning with TAFFO
S. Cherubin, D. Cattaneo, M. Chiari, G. Agosta
ACM Trans. Archit. Code Optim. 17(2): 10:1–10:26 (2020) [doi]

Automated Precision Tuning in Activity Classification Systems: A Case Study
N. Fossati, D. Cattaneo, M. Chiari, S. Cherubin, G. Agosta
PARMA-DITAM@HiPEAC 2020: 5:1–5:6 (2020) [doi]

TAFFO: Tuning Assistant for Floating to Fixed Point Optimization
S. Cherubin, D. Cattaneo, M. Chiari, A. Di Bello, G. Agosta
IEEE Embed. Syst. Lett. 12(1): 5–8 (2020) [doi]

Verification of Infrastructure as Code

Static Analysis of Infrastructure as Code: a Survey
M. Chiari, M. De Pascalis, M. Pradella
FIST@ICSA 2022, ICSA Companion 2022: 218–225 (2022) [doi] [preprint]