Mehdi Bouaziz

According to our database, Mehdi Bouaziz authored at least 4 papers between 2012 and 2022.

Collaborative distances:

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

2022

Abstract interpretation of Michelson smart-contracts.

Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2020

Static Resource Analysis at Scale (Extended Abstract).

Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano

Proceedings of the Static Analysis - 27th International Symposium, 2020

2012

TreeKs: A Functor to Make Numerical Abstract Domains Scalable.

Mehdi Bouaziz

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Inference of Necessary Field Conditions with Abstract Interpretation.

Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012