Arnault Ioualalen

According to our database, Arnault Ioualalen authored at least 6 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values.

Guillaume Berthelot, Arnault Ioualalen, Matthieu Martel

Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, 2025

2019

Neural Network Precision Tuning.

Arnault Ioualalen, Matthieu Martel

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2017

An Overview of Numalis Software Suite for Reliable Numerical Computation.

Arnault Ioualalen, Matthieu Martel, Nicolas Normand

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2013

Synthesizing accurate floating-point formulas.

Arnault Ioualalen, Matthieu Martel

Proceedings of the 24th International Conference on Application-Specific Systems, 2013

2012

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.

Arnault Ioualalen, Matthieu Martel

Proceedings of the Static Analysis - 19th International Symposium, 2012

Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach.

Arnault Ioualalen, Matthieu Martel

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012