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]