Matthieu Martel -

Registered user since Tue 2 Apr 2024

Name:Matthieu Martel

Country:France

Affiliation:University of Peprignan; Numalis

Personal website: https://perso.univ-perp.fr/matthieu.martel/

Contributions

2025

ARRAY

Author of Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values within the ARRAY 2025-track

SOAP

Author of Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers within the State Of the Art in Program Analysis-track

2024

LCTES

Author of Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures within the LCTES-track

ICT4S

Author of Energy Efficient Matrix Computations through Homomorphic Compression within the Research Papers-track

2021

Static Analysis Symposium

Author of Fast and Efficient Bit-Level Precision Tuning within the SAS-track