Mamy Razafintsialonina

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

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

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2025

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

[BibT_eX]

[DOI]

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