Aïssata Maiga

According to our database, Aïssata Maiga authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.

Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023