Linghui Luo

Biography

“The usage of security analysis tools should become an industrial convention in secure software development. However, we need to create usable analysis tools at first.”

Linghui Luo (Chinese: 罗灵慧) is a PhD student advised by Prof. Eric Bodden. She works as a research assistant in the Software Engineering Group at Paderborn University since July 2017. Her research interests include program analysis and empirical software engineering. She believes Open Source is the future and contributes to the open source community. To know about her recent activities, please follow her on Twitter @LinghuiLuo.

Contribution to Open Source

Research Interests

• Program Analysis
• Empirical Software Engineering
• Concolic & Symbolic Execution
• Benchmarking Program Analysis Tools
• Automatic Test Generation

Posters

• How to Use MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors, 15/07/2019-19/07/2019, European Conference on Object-Oriented Programming (ECOOP) 2019, London, United Kingdom. (Available)
• A Qualitative Analysis of Taint-Analysis Results, 03/12/2018-05/12/2018, Google’s 6th Compiler and Programming Language Summit, Munich, Germany. (Available)
• Integrating Soot-Based Static Analysis Tools into IDEs with Language Server Protocol, 03/12/2018-05/12/2018, Google’s 6th Compiler and Programming Language Summit, Munich, Germany.
• Categorizing Static Analysis Results, 04/2018, ISSTA18 PC Meeting Poster Session, Paderborn, Germany. (Available)

Publications

• 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 (ASE) 2019, San Diego, California, United States.
    Linghui Luo, Eric Bodden, Johannes Späth
    (Paper, Open Source Project)
  • MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors, 15/07/2019-19/07/2019, European Conference on Object-Oriented Programming (ECOOP) 2019, London, United Kingdom.
    Linghui Luo, Julian Dolby, Eric Bodden
    (Paper, Slides, DOI, Open Source Project, Video)
  • MultiSkipGraph: A Self-stabilizing Overlay Network that Maintains Monotonic Searchability, 20/05/2019-24/05/2019, IEEE International Parallel & Distributed Processing Symposium (IPDPS) 2019, Rio de Janeiro, Brazil.
    Linghui Luo, Christian Scheideler, Thim Strothmann
    (Paper, Slides, DOI, Open Source Project)
• 2017
  • MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained, Master Thesis
• 2014
  • Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Bachelor Thesis

Education

• M. Sc. In Computer Science, 2017, Paderborn University, Paderborn, Germany.
• Exchange Semester In Computer Science, 2015, Beihang University, Beijing, China.
• B. Sc. In Computer Science, 2014, Paderborn University, Paderborn, Germany.

Academic Work Experience

• Research Visit, 07/01/2019 - 03/02/2019, Research visit in collaboration with Julian Dolby at IBM Thomas J. Watson Research Center, New York, USA. (Recommendation)
• Research Assistant, 07/2017 – Present, Research group Software Engineering, Paderborn University, Paderborn, Germany.
• Student Assistant, 02/2015 – 03/2017, Research group Theory of Distributed System, Paderborn University, Paderborn, Germany.
  • Design and development of a simulator in Java for evaluating various distributed algorithms.
  • Supervisor: Dr. Thim Strothmann (Recommendation)

Other Work Experience

• Student Assistant, 11/2013 – 01/2015, Wincor Nixdorf, Paderborn, Germany.
  • Software unit and integration testing for a survillance software used in ATMs.

Projects

• FutureSoot: Future-proofing the Soot Framework for Program Analysis and Transformation, 01/2018 – Present, Project of the German Research Foundation (DFG), Call for Research Software Sustainability
  • Design and development of a new Soot framework.
• IntelliScan: Intelligent Developer Support for Static Vulnerability Analyses, 10/2017 – Present, Part-project of the NRW Graduate School “Human-Centered Systems Security - North Rhine Westphalian Experts in Research on Digitalization (NERD)”
  • Research in usable static analysis.
• MultiSkipGraph, 2016 - 2017, Project for submission to IPDPS19.
  • Design of protocols and implementation of simulator.
  • Project Repository
• SanDMAN, 04/2016 - 03/2017, Student project group in the context of the European project SONATA.
  • Design and implementation of web editors for facilitating the service development task for developers.
  • Project Repository

Teaching Experience

Teaching Assistant

• Secure Software Engineering, 04/2019 – 07/2019, Paderborn University. (Bachelor course)
• Designing Code Analyses for Large-scale Software Systems, 04/2018 – 08/2018, Paderborn University. (Master course)
• Seminar Secure Systems Engineering, 10/2017 – 02/2018, Paderborn University. (Master course)
• Secure Software Engineering, 10/2017 – 02/2018, Paderborn University. (Bachelor course)

Substitute Lecturer

• Designing Code Analyses for Large-scale Software Systems, 04/2018 – 08/2018, Paderborn University. (Master course)

Student Tutor

• Introduction to Computability, Complexity and Formal Languages, 10/2016 – 02/2017, Paderborn University. (Bachelor course)
• Data Structure and Algorithms, 2012 – 2016, Paderborn University. (Bachelor course)
• Analysis, 10/2012 – 02/2013, Paderborn University. (Bachelor course)
• Modeling, 10/2011 – 02/2012, Paderborn University. (Bachelor course)

Linghui’s Notes

• Program Analysis Tools
• Security Benchmarks
• Notes on Java
• Notes on Soot

Life Outside of Work

Together with her husband Linghui keeps three beloved pets: a dog (Java), a cat (Alan) and a black cat (Hacker). She loves to spend her time with her pets and do sports such as bouldering, water skiing, snowboarding and swimming. She also enjoys music and tries to learn playing musical intructments to amuse herself.

Contact

Please send an email in English, German or Chinese.

✉ linghui[at]outlook.de