Michele Chiari
Michele Chiari
Ph.D. Student, Politecnico di Milano
Email verificata su polimi.it
Titolo
Citata da
Citata da
Anno
TAFFO: Tuning assistant for floating to fixed point optimization
S Cherubin, D Cattaneo, M Chiari, A Di Bello, G Agosta
IEEE Embedded Systems Letters 12 (1), 5-8, 2019
92019
Temporal Logic and Model Checking for Operator Precedence Languages
M Chiari, D Mandrioli, M Pradella
Ninth International Symposium on Games, Automata, Logics, and Formalá…, 2018
52018
Dynamic Precision Autotuning with TAFFO
S Cherubin, D Cattaneo, M Chiari, G Agosta
ACM Transactions on Architecture and Code Optimization (TACO) 17 (2), 1-26, 2020
22020
Automated Precision Tuning in Activity Classification Systems: A Case Study
N Fossati, D Cattaneo, M Chiari, S Cherubin, G Agosta
Proceedings of the 11th Workshop on Parallel Programming and Run-Timeá…, 2020
12020
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages
M Chiari, D Mandrioli, M Pradella
arXiv preprint arXiv:1910.09327, 2019
12019
Fixed point exploitation via compiler analyses and transformations: POSTER
D Cattaneo, AD Bello, M Chiari, S Cherubin, G Agosta
Proceedings of the 16th ACM International Conference on Computing Frontiersá…, 2019
12019
Operator precedence temporal logic and model checking
M Chiari, D Mandrioli, M Pradella
Theoretical Computer Science, 2020
2020
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
R Bagnara, A Bagnara, F Biselli, M Chiari, R Gori
arXiv preprint arXiv:1903.06119, 2019
2019
Word-and Tree-based Temporal Logics for Operator Precedence Languages.
M Chiari, D Mandrioli, M Pradella
ICTCS, 222-228, 2019
2019
Temporal Logic and Model Checking for Operator Precedence Words
M CHIARI
Italy, 2018
2018
A Practical Approach to Interval Refinement for math. h/cmath Functions
R Bagnara, M Chiari, R Gori, A Bagnara
arXiv preprint arXiv:1610.07390, 2016
2016
Compilers for Precision Tuning: TAFFO Problems (and Solutions)
D Cattaneo, M Chiari, N Fossati, G Magnani, S Cherubin, G Agosta
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–12