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)Path- and index-sensitive string analysis based on monadic second-order logic., , and . ISSTA, page 166-176. ACM, (2011)Long-term Static Analysis Rule Quality Monitoring Using True Negatives., , , , , and . ICSE-SEIP, page 315-326. IEEE, (2023)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)A Deep Dive into Large Language Models for Automated Bug Localization and Repair., , , , , , , and . Proc. ACM Softw. Eng., 1 (FSE): 1471-1493 (2024)Andromeda: Accurate and Scalable Security Analysis of Web Applications., , , , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 210-225. Springer, (2013)Tightfit: adaptive parallelization with foresight., and . ESEC/SIGSOFT FSE, page 169-179. ACM, (2013)Finding your way in the testing jungle: a learning approach to web security testing., , and . ISSTA, page 347-357. ACM, (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)