Mehdi Bouaziz

  • Citations Per Year
Learn More
Interpretation Mehdi Bouaziz , Francesco Logozzo , Manuel Fähndrich 2 1 École Normale Supérieure, Paris 2 Microsoft Research, Redmond, WA (USA) Abstract. We present a new static analysis to infer necessary field conWe present a new static analysis to infer necessary field conditions for object-oriented programs. A necessary field condition is a property(More)
Relational numerical abstract domains do not scale up. To ensure a linear cost of abstract domains, abstract interpretation-based tools analyzing large programs generally split the set of variables into independent smaller sets, sometimes sharing some non-relational information. We present a way to gain precision by keeping fully expressive relations(More)
We describe our ongoing effort of moving a desktop static analyzer, Clousot, into a cloud-based one, Cloudot. A cloud-based static analyzer runs as a service. Clients issue analysis requests through the local network or over the internet. The analysis takes advantage of the large computation resources offered by the cloud: the underlying infrastructure(More)
Teleost fish are ectothermic vertebrates. Their metabolism, physiology and behavior rely on the external temperature. This study, on the retina of the sea bass Dicentrarchus labrax, reports on the impact of temperature on the fatty acid composition and mRNA abundance of key enzymes of lipid metabolism: fatty acid desaturase-2 (FADS2), fatty acid elongase-5(More)
  • 1