Compiler Optimization Professors and Supervisors in Germany

Tristan Coignionمشاهده پروفایل

پژوهشگر

Max Planck Institute for Security and PrivacyGermany

Tristan Coignion is a researcher at University of Lille affiliated with Inria (French National Institute for Research in Digital Science and Technology), actively contributing to software engineering and artificial intelligence research. His work bridges theoretical AI advancements with practical software development challenges, particularly through conference publications at ASE and EASE. His research interests center on Large Language Models in programming contexts , with specific focus on code optimization efficiency , environmental impacts of AI-generated code , and empirical performance validation . Coignion investigates critical trade-offs between computational speed and energy consumption in LLM-optimized code, while also analyzing real-world effectiveness of AI-generated solutions through platforms like Leetcode. Recent publications reveal two interconnected research thrusts: the 2025 ASE paper exposes hidden energy costs in LLM-based optimization, challenging assumptions about computational efficiency, while the 2024 EASE study establishes empirical baselines for LLM code performance in competitive programming environments. Together, these works form a cohesive investigation into the sustainability and practicality of AI-assisted software development, highlighting previously overlooked environmental dimensions in the field.

پروفایل رسمی دانشگاه

Yao Wanمشاهده پروفایل

دانشیار

Max Planck Institute for Security and PrivacyGermany

Yao Wan is an Associate Professor at the School of Computer Science and Technology, Huazhong University of Science and Technology (HUST) in Wuhan, China. He leads the ONE Lab, focused on empowering machines to interact with the physical world through unified natural language interfaces (Language + X paradigm). He obtained his Ph.D. from Zhejiang University and has research visiting experience at Chinese University of Hong Kong, University of Technology Sydney, and University of Illinois Chicago. His research bridges Artificial Intelligence and Software Engineering, with core interests in: Natural Language Processing for code intelligence Large Language Model applications Multimodal learning across code, vision, and UI domains Program analysis and code generation Software engineering automation His publications demonstrate strong focus on applying transformer-based models to software engineering challenges, with recent work expanding into multimodal applications. Research spans code model security, GUI generation, data visualization, and compiler understanding, predominantly using deep learning approaches. Awards: IEEE TCSE Distinguished Paper Award for SANER 2025 publication He actively mentors students through the ONE Lab and serves on program committees for top conferences including ASE, ISSTA, and ICSE. He is seeking highly-motivated undergraduate researchers to join his team. The ONE Lab conducts cutting-edge research at the intersection of programming languages and artificial intelligence, with ongoing projects in code intelligence, multimodal learning, and LLM applications for software engineering.

پروفایل رسمی دانشگاه

Đorđe Žikelićمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Đorđe Žikelić is an Assistant Professor of Computer Science at the School of Computing and Information Systems at Singapore Management University (SMU) in Singapore. He completed his PhD in 2023 at the Institute of Science and Technology Austria (ISTA) under Krishnendu Chatterjee and Petr Novotný, receiving both Outstanding PhD Thesis and Outstanding Scientific Achievement awards. Prior to his doctorate, he earned bachelor's and master's degrees in mathematics from the University of Cambridge. His educational background includes: PhD in Computer Science, Institute of Science and Technology Austria (ISTA), 2023 Bachelor's and Master's in Mathematics, University of Cambridge Dr. Žikelić's research focuses on advancing formal methods to ensure software and AI systems are correct, safe, and trustworthy. His work bridges theoretical aspects of formal reasoning about probabilistic systems with practical automated verification methods. His primary research interests span three interconnected areas: Program Analysis and Verification: He develops techniques for analyzing probabilistic programs, numerical programs, and efficient quantifier elimination methods, addressing fundamental challenges in verifying complex software systems. Trustworthy AI and Safe Autonomy: He creates formal verification frameworks for learning-enabled control systems and neural networks, ensuring AI operates safely in uncertain environments through methods like runtime monitoring and certificate repair. Probabilistic System Verification: He explores broader applications including bidding games on graphs and blockchain protocol analysis, extending formal methods to novel domains beyond traditional finite-state verification. His publication trajectory shows a consistent progression from theoretical foundations to practical applications, with recent work increasingly focused on integrating formal verification with machine learning. His 2024-2025 publications demonstrate growing expertise in verifying learning-based systems and developing practical tools like PolyQEnt for quantified entailment solving. His scientific achievements have been recognized with: Outstanding PhD Thesis Award at ISTA Outstanding Scientific Achievement Award at ISTA Distinguished Paper Award at FM 2024 Dr. Žikelić serves on program committees for major conferences including TACAS, PLDI, AAAI, and CAV. He actively mentors through the Programming Languages Mentoring Workshop (PLMW) at PLDI 2025. His research group at SMU focuses on developing novel algorithms for verifying correctness of programs and AI systems, with current projects spanning formal methods, artificial intelligence, and programming languages.

پروفایل رسمی دانشگاه

Haofeng Liمشاهده پروفایل

پژوهشگر

Max Planck Institute for Security and PrivacyGermany

Haofeng Li is a Researcher affiliated with the Institute of Computing Technology, Chinese Academy of Sciences and the University of Chinese Academy of Sciences in China. His primary research focuses on advancing program analysis techniques, with specializations in static analysis, taint analysis, and pointer analysis. His work demonstrates consistent innovation in optimizing data flow algorithms. Li's research centers on improving the scalability and efficiency of program analysis frameworks. Key themes include: Developing customized context-sensitive analysis for modern programming paradigms Enhancing computational efficiency of the IFDS algorithm through sparsification Addressing memory constraints via disk-based computation approaches Practical applications in security-oriented taint analysis His publications appear in premier venues including ASE (2019), CGO (2021), and ESEC/FSE (2022), demonstrating sustained contributions to software engineering and compiler research. Current information doesn't specify educational background, supervised students, research grants, or laboratory affiliations.

پروفایل رسمی دانشگاه

Lian Liمشاهده پروفایل

استاد

Max Planck Institute for Security and PrivacyGermany

Lian Li is a Professor in the Institute of Computing Technology at the Chinese Academy of Sciences, where he leads the program analysis research group. He holds a PhD from the University of New South Wales, Australia, and a Bachelor's degree from Tsinghua University in Engineering Physics. His research focuses on developing innovative program analysis techniques and tools to enhance software reliability and security. His educational background includes a PhD in Computer Science from the University of New South Wales (2003-2007) with a thesis on "ScratchPad Management for Static Data Aggregates" under Professor Jinling Xue, and a Bachelor's degree in Engineering Physics from Tsinghua University (1993-1998). Lian Li's research primarily centers on program analysis techniques, particularly static analysis methods for software security and reliability. His group developed Wukong, a static analysis and detection system capable of identifying deep security vulnerabilities across functions, components, and complex dependencies in C/C++, Java, and Android applications. This tool has discovered thousands of errors in popular open-source software including Google Chromium, Bash, sed, and Hadoop, with hundreds confirmed by developers and over 50 CVEs assigned. His publication record shows a strong focus on program analysis, particularly context-sensitive pointer analysis, taint analysis, and vulnerability detection. His recent work (2021-2024) demonstrates continued innovation in context-free language reachability, efficient IFDS algorithms, and specialized analysis for generics and authorization vulnerabilities. His research spans cybersecurity, programming languages, and software engineering domains, with emphasis on practical applications for real-world software systems. ASE 2019 Distinguished Paper Award CCS 2022 Best Paper Honorable Mention Lian Li has guided numerous PhD and Master's students in computer system architecture and software theory. His research group maintains active collaborations across various software analysis domains, with funding supporting their work on tools like Wukong. They have developed significant intellectual property including multiple patents related to program analysis techniques. The program analysis research group he leads focuses on developing practical tools for software reliability and security. Their work bridges theoretical program analysis with real-world applications, particularly through the Wukong analysis system which has been successfully applied to major open-source projects.

پروفایل رسمی دانشگاه

Song Wangمشاهده پروفایل

دانشیار

Max Planck Institute for Security and PrivacyGermany

Song Wang is an Associate Professor in the Department of Electrical Engineering and Computer Science at York University's Lassonde School of Engineering since May 2024. Previously, he served as an Assistant Professor at the same institution from July 2019 to May 2024. He earned his Ph.D. in Computer Engineering from the University of Waterloo in December 2018 under Prof. Lin Tan, an MS degree from the Chinese Academy of Sciences in June 2014 under Profs. Ye Yang and Wen Zhang, and BE and BHRM degrees from Sichuan University in June 2011. Dr. Wang's research focuses on the intersection of Software Engineering and Artificial Intelligence, with two main thrusts: 1) leveraging AI technologies to address software reliability challenges (AI for SE), and 2) developing software reliability techniques to improve AI infrastructure systems (SE for AI). His specific interests include software testing, program analysis, software reliability, and machine learning applications in software engineering. His research has led to tools that have detected hundreds of true bugs across various open-source projects. His recent publications reveal a strong focus on applying large language models to software engineering tasks, analyzing vulnerabilities in deep learning libraries, and developing techniques for software testing and reliability. The research spans multiple subfields including API testing, vulnerability detection, bias analysis in generated code, and automated assurance case generation. TOSEM Distinguished Reviewer Award 2023 APSEC'23 Distinguished Paper Award ACM SIGSOFT Distinguished Paper Award (ICPC 2022) ACM SIGSOFT Distinguished Paper Award (ICSE 2020) Best Paper Award at PROMISE 2019 Dr. Wang actively mentors students at all levels, currently supervising multiple PhD and MASc students. His research group has produced numerous publications in top-tier software engineering venues, including ICSE, FSE, ASE, and TOSEM. He also serves on the editorial board of ACM TOSEM and has been involved in organizing major conferences like ASE and CASCON.

پروفایل رسمی دانشگاه