Inference of Necessary Field Conditions with Abstract Interpretation. - Mehdi Bouaziz; Francesco Logozzo; Manuel Fähndrich (APLAS, 2012)

TreeKs: A Functor to Make Numerical Abstract Domains Scalable. - Mehdi Bouaziz (NSAD@SAS, 2012)

Static Resource Analysis at Scale (Extended Abstract). - Ezgi Çiçek; Mehdi Bouaziz; Sungkeun Cho; Dino Distefano (SAS, 2020)

Abstract interpretation of Michelson smart-contracts. - Guillaume Bau; Antoine Miné; Vincent Botbol; Mehdi Bouaziz (SOAP@PLDI, 2022)