Maroua Maalej

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

Collaborative distances:

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

2020

Verification of Programs with Pointers in SPARK.

Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich

Proceedings of the Formal Methods and Software Engineering, 2020

2018

Combining range and inequality information for pointer disambiguation.

Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord

Sci. Comput. Program., 2018

Safe Dynamic Memory Management in Ada and SPARK.

Maroua Maalej, S. Tucker Taft, Yannick Moy

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).

Maroua Maalej

PhD thesis, 2017

Pointer disambiguation via strict inequalities.

Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016

Symbolic range analysis of pointers.

Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016