Publications

Science Blogs

• 2023
  • Amazon Science
    Bringing code analysis tools to Jupyter notebooks, 13/07/2023, Cloud and Systems.
    Linghui Luo, Shubha Gargava (Article)

Peer-reviewed Conference Papers

• 2024
  • TACAS 2024
    SootUp: A Redesign of the Soot Static Analysis Framework, 06/04/2024 – 11/04/2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg.
    Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo and Dongjie He
    (Paper)
• 2023
  • ESEC/FSE 2023
    Compositional Taint Analysis for Enforcing Security and Privacy Policies at Scale, 03/12/2023 - 09/12/2023, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2023, Industry Papers, San Francisco, United States.
    Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Sean Tout, and Jingbo Wang
    (Paper)
  • ICSE 2023
    Long-term Static Analysis Rule Quality Monitoring Using True Negatives, 14/05/2023 - 20/05/2023, 45th International Conference on Software Engineering, Software Engineering in Practice (SEIP) Track, Melbourne, Australia.
    Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez
    (Paper)
  • ICST 2023
    Model Generation For Java Frameworks, 16/04/2023 - 20/04/2023, The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023, Dublin, Ireland.
    Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf
    (Paper, Artifact)
  • FM 2023
    Shifting Left for Early Detection of Machine-Learning Bugs, 07/03/2023 – 09/03/2023, 25th international symposium on formal methods, Industry Day Track, Lübeck.
    Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
    (Paper)
• 2022
  • ESEC/FSE 2022
    Input Splitting for Cloud-Based Static Application Security Testing Platforms, 14/11/2022 - 18/11/2022, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2022, Industry Paper, Singapore.
    Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
    (Paper)
• 2021
  • ESEC/FSE 2021
    A General Approach to Modeling Java Framework Behaviors, 23/08/2021 – 28/08/2021, Student Research Competition At The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021, Athens, Greece.
    Awarded: Silver Medal Winner (Second Place).
    Linghui Luo
    (Paper, DOI, 5 Mins Video, 10 Mins Video, Artifact (will be released with future research paper))
  • ESEC/FSE 2021
    IDE Support for Cloud-Based Static Analyses, 23/08/2021 – 28/08/2021, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021, Athens, Greece.
    Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden
    (Paper, DOI, Video)
• 2020
  • ICSE 2020
    Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis, 23/05/2020 – 29/05/2020, The 42nd International Conference on Software Engineering 2020, Seoul, South Korea.
    Awarded: Artifact Evaluation (Available, Reusable).
    Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, Andreas Zeller
    (Paper, Artifact, DOI)
• 2019
  • ASE 2019
    A Qualitative Analysis of Android Taint-Analysis Results, 11/11/2019 – 15/11/2019, The 34th IEEE/ACM International Conference on Automated Software Engineering 2019, San Diego, California, United States.
    Linghui Luo, Eric Bodden, Johannes Späth
    (Paper, Artifact, Slides, DOI, Open Source Project, Video)
  • ECOOP 2019
    MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors, 15/07/2019 – 19/07/2019, European Conference on Object-Oriented Programming 2019, London, United Kingdom.
    Linghui Luo, Julian Dolby, Eric Bodden
    (Paper, Slides, DOI, Open Source Project, Video)
  • IPDPS 2019
    MultiSkipGraph: A Self-stabilizing Overlay Network that Maintains Monotonic Searchability, 20/05/2019 – 24/05/2019, IEEE International Parallel & Distributed Processing Symposium 2019, Rio de Janeiro, Brazil.
    Linghui Luo, Christian Scheideler, Thim Strothmann
    (Paper, Slides, DOI, Open Source Project)

Peer-reviewed Journal Papers

• 2021
  • EMSE (Journal-First Paper) & ICSE 2022 (Pittsburgh, USA)
    TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses, Empirical Software Engineering (EMSE), 2021; International Conference on Software Engineering (ICSE), 2022; Journal-First Paper
    Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci
    (Paper, Artifact, Website, DOI)

Linghui Luo’s PhD Thesis

Improving Real-World Applicability of Static Taint Analysis (DOI), 2021, Universität Paderborn.

Awarded: Summa cum laude

Awarded: Ernst Denert Software Engineering Award

Awarded: UPB Doctoral Dissertation Award

Awarded: ZONTA Science Award 2023