Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java J Späth, L Nguyen Quang Do, K Ali, E Bodden 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 148 | 2016 |
Just-in-time static analysis LNQ Do, K Ali, B Livshits, E Bodden, J Smith, E Murphy-Hill Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 89 | 2017 |
Why do software developers use static analysis tools? a user-centered study of developer needs and motivations LNQ Do, JR Wright, K Ali IEEE Transactions on Software Engineering 48 (3), 835-847, 2020 | 66 | 2020 |
Why can't johnny fix vulnerabilities: A usability evaluation of static analysis tools for security J Smith, LNQ Do, E Murphy-Hill Sixteenth Symposium on Usable Privacy and Security (SOUPS 2020), 221-238, 2020 | 61 | 2020 |
Codebase-adaptive detection of security-relevant methods G Piskachev, LNQ Do, E Bodden Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 24 | 2019 |
Debugging static analysis LNQ Do, S Krüger, P Hill, K Ali, E Bodden IEEE Transactions on Software Engineering 46 (7), 697-709, 2018 | 23 | 2018 |
Explaining static analysis-a perspective M Nachtigall, LNQ Do, E Bodden 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 21 | 2019 |
Explaining static analysis with rule graphs LNQ Do, E Bodden IEEE Transactions on Software Engineering 48 (2), 678-690, 2020 | 13 | 2020 |
Cheetah: just-in-time taint analysis for android apps LNQ Do, K Ali, B Livshits, E Bodden, J Smith, E Murphy-Hill 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017 | 13 | 2017 |
Toward an automated benchmark management system LNQ Do, M Eichberg, E Bodden Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the …, 2016 | 13 | 2016 |
VisuFlow: A debugging environment for static analyses LNQ Do, S Krüger, P Hill, K Ali, E Bodden Proceedings of the 40th International Conference on Software Engineering …, 2018 | 12* | 2018 |
Gamifying static analysis L Nguyen Quang Do, E Bodden Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 10 | 2018 |
SWAN_ASSIST: semi-automated detection of code-specific, security-relevant methods G Piskachev, LNQ Do, O Johnson, E Bodden 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 6 | 2019 |
Designing UIs for static-analysis tools D Tiganov, LNQ Do, K Ali Communications of the ACM 65 (2), 52-58, 2022 | 4 | 2022 |
User-centered tool design for data-flow analysis. LNQ Do University of Paderborn, Germany, 2019 | 4 | 2019 |
Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN D Tiganov, L Nguyen Quang Do, K Ali Queue 19 (4), 97-118, 2021 | 3 | 2021 |
Explainable static analysis E Bodden, L Nguyen Quang Do Gesellschaft für Informatik, 2018 | 2 | 2018 |
Why do software developers use static analysis tools? a user-centered study of developer needs and motivations JR Wright, K Ali, LNQ Do IEEE Transactions on Software Engineering (TSE), 2020 | 1 | 2020 |
Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact) J Späth, L Nguyen Quang Do, K Ali, E Bodden Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2016 | 1 | 2016 |
Toward a just-in-time static analysis LNQ Do, K Ali, E Bodden, B Livshits Technical Report TUD-CS-2015-1167, Technische Universität Darmstadt, 2015 | 1 | 2015 |