Concepedia

Michele Chiari

MC

6

Publications

122

Citations

6

H-Index

2019

Active since

Affiliations

Politecnico di Milano(Current)

Edinburgh Napier University

Institute of Electronics, Computer and Telecommunication Engineering

Michele Chiari is an author at Politecnico di Milano specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsApproximate ComputingComputer ArchitectureCompilersAutomationCalibration

Publications per year

2019–2022

6

Publications

6

TAFFO: Tuning Assistant for Floating to Fixed Point Optimization

Stefano Cherubin, Daniele Cattaneo, Michele Chiari et al. · IEEE Embedded Systems Letters · 2019 · 34 citations

Engineering, Machine Learning, Hardware Acceleration +15

Static Analysis of Infrastructure as Code: a Survey

Michele Chiari, Michele De Pascalis, Matteo Pradella · 2022 · 23 citations · Full text

Software Maintenance, Engineering, Software Engineering +22

Dynamic Precision Autotuning with TAFFO

Stefano Cherubin, Daniele Cattaneo, Michele Chiari et al. · ACM Transactions on Architecture and Code Optimization · 2020 · 22 citations · Full text

Engineering, Compiler Technology, Software Systems +21

Architecture-aware Precision Tuning with Multiple Number Representation Systems

Daniele Cattaneo, Michele Chiari, Nicola Fossati et al. · 2021 · 19 citations · Full text

Operator precedence temporal logic and model checking

Michele Chiari, Dino Mandrioli, Matteo Pradella · Theoretical Computer Science · 2020 · 12 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +6

Rows per page

1–5 of 6