Matthieu Journault

According to our database1, Matthieu Journault authored at least 4 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Inferring functional properties of matrix manipulating programs by abstract interpretation.
Formal Methods in System Design, 2018

Modular Static Analysis of String Manipulations in C Programs.
Proceedings of the Static Analysis - 25th International Symposium, 2018

2016
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

2014
Power-Aware Replica Placement in Tree Networks with Multiple Servers per Client.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014


  Loading...