Author of the publication

HAWKEYE: effective discovery of dataflow impediments to parallelization.

, , , and . OOPSLA, page 207-224. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Bayesian Approach to Privacy Enforcement in Smartphones., and . USENIX Security Symposium, page 175-190. USENIX Association, (2014)Cognitive mobile security: invited conference keynote., , , and . MOBILESoft, page 267-268. ACM, (2016)ALETHEIA: Improving the Usability of Static Security Analysis., , , and . ACM Conference on Computer and Communications Security, page 762-774. ACM, (2014)Long-term Static Analysis Rule Quality Monitoring Using True Negatives., , , , , and . ICSE-SEIP, page 315-326. IEEE, (2023)Path- and index-sensitive string analysis based on monadic second-order logic., , and . ISSTA, page 166-176. ACM, (2011)Andromeda: Accurate and Scalable Security Analysis of Web Applications., , , , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 210-225. Springer, (2013)Access-rights Analysis in the Presence of Subjects., , and . ECOOP, volume 37 of LIPIcs, page 222-246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Finding your way in the testing jungle: a learning approach to web security testing., , and . ISSTA, page 347-357. ACM, (2013)Tightfit: adaptive parallelization with foresight., and . ESEC/SIGSOFT FSE, page 169-179. ACM, (2013)Static Analysis for AWS Best Practices in Python Code., , , and . ECOOP, volume 222 of LIPIcs, page 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)