Mehdi Bouaziz (joint work with Francesco Logozzo)

Cloudot: Lifting Clousot into the Cloud

End of internship talk, Microsoft Research, Redmond, WA, USA. October 12, 2012

Last update: November 23, 2013