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 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 security-related program analysis and empirical software engineering.

Research Interests

• Usable Program Analysis
• Data-Flow Analysis
• 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
  • 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. (Paper, Slides, DOI, Open Source Project)
  • 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. (Paper, Open Source Project)
• 2018
  • A Qualitative Analysis of Taint-Analysis Results, 08/2018, Technical Report, Heinz Nixdorf Institute, Paderborn University, Paderborn, Germany. (Paper)
• 2017
  • MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained
• 2014
  • Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen

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

• Notes on Soot
• Program Analysis Tools
• Java Version-wise Feature Changes

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