Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. - Johannes Späth; Lisa Nguyen Quang Do; Karim Ali 001; Eric Bodden (ECOOP, 2016)

Toward an automated benchmark management system. - Lisa Nguyen Quang Do; Michael Eichberg; Eric Bodden (SOAP@PLDI, 2016)

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). - Johannes Späth; Lisa Nguyen Quang Do; Karim Ali 001; Eric Bodden (Dagstuhl Artifacts Ser., 2016)

Cheetah: just-in-time taint analysis for Android apps. - Lisa Nguyen Quang Do; Karim Ali 001; Benjamin Livshits; Eric Bodden; Justin Smith 001; Emerson R. Murphy-Hill (ICSE (Companion Volume), 2017)

Just-in-time static analysis. - Lisa Nguyen Quang Do; Karim Ali 001; Benjamin Livshits; Eric Bodden; Justin Smith 001; Emerson R. Murphy-Hill (ISSTA, 2017)

VISUFLOW: a debugging environment for static analyses. - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali 001; Eric Bodden (ICSE (Companion Volume), 2018)

Explainable Static Analysis. - Eric Bodden; Lisa Nguyen Quang Do (Software Engineering, 2018)

Gamifying static analysis. - Lisa Nguyen Quang Do; Eric Bodden (ESEC/SIGSOFT FSE, 2018)

Codebase-adaptive detection of security-relevant methods. - Goran Piskachev; Lisa Nguyen Quang Do; Eric Bodden (ISSTA, 2019)

Explaining Static Analysis - A Perspective. - Marcus Nachtigall; Lisa Nguyen Quang Do; Eric Bodden (ASE Workshops, 2019)

SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. - Goran Piskachev; Lisa Nguyen Quang Do; Oshando Johnson; Eric Bodden (ASE, 2019)

User-centered tool design for data-flow analysis. - Lisa Nguyen Quang Do (2019)

Why Can't Johnny Fix Vulnerabilities: A Usability Evaluation of Static Analysis Tools for Security. - Justin Smith 001; Lisa Nguyen Quang Do; Emerson R. Murphy-Hill (SOUPS @ USENIX Security Symposium, 2020)

Front Matter, Table of Contents, Preface, Conference Organization. - Lisa Nguyen Quang Do; Manuel Rigger (Dagstuhl Artifacts Ser., 2020)

Debugging Static Analysis. - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali 001; Eric Bodden (IEEE Trans. Software Eng., 2020)

Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN. - Daniil Tiganov; Lisa Nguyen Quang Do; Karim Ali 001 (ACM Queue, 2021)

Designing UIs for static-analysis tools. - Daniil Tiganov; Lisa Nguyen Quang Do; Karim Ali 001 (Commun. ACM, 2022)

Explaining Static Analysis With Rule Graphs. - Lisa Nguyen Quang Do; Eric Bodden (IEEE Trans. Software Eng., 2022)

Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations. - Lisa Nguyen Quang Do; James R. Wright; Karim Ali 001 (IEEE Trans. Software Eng., 2022)

Debugging Static Analysis. - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali 001; Eric Bodden (IEEE DataPort, 2022)