Maroua Maalej

According to our database1, Maroua Maalej authored at least 6 papers between 2016 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Verification of Programs with Pointers in SPARK.
Proceedings of the Formal Methods and Software Engineering, 2020

2018
Combining range and inequality information for pointer disambiguation.
Sci. Comput. Program., 2018

Safe Dynamic Memory Management in Ada and SPARK.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
Low-cost memory analyses for efficient compilers. (Analyses de mémoire à bas coût pour des compilateurs efficaces).
PhD thesis, 2017

Pointer disambiguation via strict inequalities.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016
Symbolic range analysis of pointers.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016


  Loading...