Mamy Razafintsialonina

According to our database, Mamy Razafintsialonina authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Artifact).

Mamy Razafintsialonina, David Bühler, Valentin Perrelle

Dagstuhl Artifacts Ser., 2025

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis.

Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025