Marco Pistoia Úlfar Erlingsson Programming languages and program analysis for security: a three-year retrospective. 32-39 2008 43 SIGPLAN Notices 12 http://doi.acm.org/10.1145/1513443.1513449 db/journals/sigplan/sigplan43.html#PistoiaE08b