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
- PDF, 13 pages, 133 KB
- @misc{BouazizLogozzo-MSR12-talk,
author = {Bouaziz, Mehdi},
title = {\emph{Cloud}ot: Lifting Clousot into the Cloud},
year = {2012},
month = {October},
institution = {Microsoft Research},
address = {Redmond, WA, USA},
note = {End of internship talk},
url = {http://www.bouaziz.me/p/BouazizLogozzo-MSR12-slides.pdf}
}
Last update: January 24, 2014