Mehdi Bouaziz
TreeKs: A Functor to Make Numerical Abstract Domains Scalable
MSR Interns 7-minute talks, Microsoft Research, Redmond, WA, États-Unis. 7 juillet 2011
- PDF, 31 pages, 328 Ko
- @misc{Bouaziz-MSR11-talk,
author = {Bouaziz, Mehdi},
title = {\textsf{TreeKs}: A Functor to Make Numerical Abstract Domains Scalable},
year = {2011},
month = {July},
institution = {Microsoft Research},
address = {Redmond, WA, USA},
note = {MSR Interns 7-minute talks},
url = {http://www.bouaziz.me/p/Bouaziz-MSR11-slides.pdf}
}
Dernière mise à jour : 24 janvier 2014