جستجوی استاد راهنمای دانشگاهی

Eric Boddenمشاهده پروفایل

استاد

• Secure Software Engineering
• Static Program Analysis
• Automated Program Analysis
• +۵ مورد دیگر

Eric Bodden is a Professor for Secure Software Engineering at Paderborn University and co-director of Fraunhofer IEM. He is also a member of the directorate of the Collaborative Research Center CROSSING at TU Darmstadt. As an ERC fellow, Bodden leads the Attract-Group on Secure Software Engineering at Fraunhofer IEM, where he develops code analysis technology for security in collaboration with leading national and international software development companies. Bodden is one of the leading experts in secure software engineering with a specialty in building highly precise tools for automated program analysis. His research spans static program analysis, Android security, taint analysis, and cryptographic API security. He has made significant contributions to the field through frameworks like FlowDroid for Android analysis, DroidBench benchmark suite, and as one of the chief maintainers of the Soot program analysis framework. His work bridges theoretical advances with practical applications, focusing on creating tools that can be effectively used by developers to enhance software security. His recent publications demonstrate a continued focus on advancing static analysis techniques, with increasing attention to modern challenges like C/C++ analysis, large language models in program analysis, and addressing security vulnerabilities in dependency management. His work shows a consistent trajectory of improving analysis precision, scalability, and usability for developers. Heinz Maier-Leibnitz-Preis (2014) ERC fellow BITKOM Management Club membership (2013) Bodden has advised numerous doctoral students whose theses cover diverse aspects of secure software engineering, including static analysis for Android applications, secure integration of cryptographic software, and information flow security engineering. His research group has received recognition through multiple dissertation awards including Summa cum laude distinctions and the Ernst Denert Software Engineering Award. The group has developed influential tools like FlowDroid, CogniCrypt, and SootUp that have shaped the field of secure software development. At Fraunhofer IEM, Bodden heads the Attract-Group on Secure Software Engineering, which collaborates with industry partners to develop practical security analysis solutions. His team has created several influential frameworks including FlowDroid for Android security analysis and the DroidBench benchmark suite. The group's work bridges academic research with real-world applications, focusing on making security analysis tools more precise, scalable, and usable for developers.

Tevfik Bultanمشاهده پروفایل

استاد

• software verification
• program analysis
• software engineering
• +۱ مورد دیگر

Tevfik Bultan is a Professor and Chair of the Department of Computer Science at the University of California, Santa Barbara. His research focuses on software verification, program analysis, software engineering, and computer security. He directs the Verification Laboratory (VLab) and has authored over 100 refereed publications. Education Ph.D. in Computer Science, University of Maryland, College Park (1998) M.S. in Computer Engineering, Bilkent University (1992) B.S. in Electrical Engineering, Middle East Technical University (1989) Research Focus Bultan's work spans automated verification techniques, security vulnerability detection, quantitative program analysis, and symbolic execution. His lab develops tools for analyzing software systems with applications in cloud security, network protocols, and embedded systems. Awards and Honors ACM Distinguished Scientist (2016) NSF CAREER Award (2000) UCSB Outstanding Graduate Mentor Award (2016) ACM SIGSOFT Distinguished Paper Awards (2005, 2014) NATO Science Fellowship (1993) Professional Activities He has chaired program committees for top conferences including ICSE, FSE, and ASE. Currently serves as associate editor for ACM TOSEM and on steering committees for ISSTA, ASE, and ICSE. Regularly advises PhD students and postdoctoral researchers in verification and security. Laboratory Leads the Verification Laboratory (VLab) focusing on automated reasoning techniques for software systems. Current projects include symbolic analysis for vulnerability detection, quantitative information flow, and security policy verification.

Coen De Rooverمشاهده پروفایل

استاد

• static analysis
• dynamic analysis
• mining software repositories
• +۷ مورد دیگر

Coen De Roover is a Professor at the Vrije Universiteit Brussel (VUB) since October 2015, affiliated with the Software Languages Lab (SOFT) where he leads the Code Analysis and ManiPulation (CAMP) subgroup. He serves as programme director for the bachelor's program in Computer Science since the 2019-2020 academic year. His research focuses on the design of program analyses and their application to software quality problems , with particular expertise in static and dynamic analysis techniques. Key research areas include: Soft verification of contracts and incremental abstract interpretation Fine-grained change analysis of individual commits Mining for change patterns across multiple commits Vulnerability detection in infrastructure code (particularly Ansible) Concolic testing and resilience analysis Recent publication trends show increasing focus on infrastructure as code security, WebAssembly analysis, and modular abstract interpretation frameworks. His work bridges theoretical program analysis with practical software engineering applications, often validated through empirical studies on open-source projects. As an active contributor to the software engineering community, he has served on program committees for major conferences including ASE, ECOOP, ICSE, and SPLASH. His leadership roles include steering committee positions for GPCE and SANER, and program co-chair roles for International Conference on Program Comprehension. De Roover directs the CAMP research subgroup which has published over 120 peer-reviewed articles. The group develops practical analysis tools while advancing theoretical foundations of program analysis, with recent work focusing on infrastructure code security and WebAssembly analysis.

Yu Fengمشاهده پروفایل

دانشیار

• Programming Languages
• Program Synthesis
• Program Analysis
• +۳ مورد دیگر

Yu Feng is an Associate Professor in the Computer Science Department at the University of California, Santa Barbara. He received his Ph.D. in Computer Science from the University of Texas at Austin in 2018 and his MS in Computer Science from Beihang University in 2008. His research focuses on programming languages, program analysis and verification, program synthesis, and security. Specifically, he aims to build automated tools that guarantee the desired behavior of systems in a sound, precise, and scalable way. He is particularly interested in applying program synthesis and analysis to tackle security and performance problems in mobile devices and blockchain applications. Professor Feng's recent publications demonstrate a strong focus on program synthesis for security applications, particularly in blockchain and zero-knowledge proofs. His work spans multiple top-tier conferences including PLDI, POPL, ASE, and CCS, showing consistent contributions to both programming languages and security communities. His research often combines logical reasoning with machine learning techniques to develop innovative solutions for complex problems in program analysis and synthesis. Ethereum Academic Award (2025, 2024, 2023) ACM SIGPLAN Distinguished Paper Award, PLDI 2022 ACM SIGCHI Best Paper Award, CHI 2021 Google Faculty Research Award (Security), 2021 ACM SIGSOFT Distinguished Paper Award, ASE 2020 DARPA HARDEN grant (2022-2025) NSF-SaTC grant (2019-2022) ACM SIGPLAN Distinguished Paper Award, PLDI 2018 Professor Feng actively mentors students in his research group, currently advising several PhD students including Yanju Chen, Junrui Liu, Hongbo Wen, and Hanzhi Liu. He has served on program committees for numerous top conferences including CCS, PLDI, OOPSLA, ICSE, ASPLOS, and POPL. His research is supported by prestigious grants including DARPA HARDEN and NSF-SaTC. His laboratory focuses on developing cutting-edge program synthesis and analysis frameworks that combine logical reasoning with machine learning. The team works on applications in blockchain security, zero-knowledge proofs, and secure protocol implementation.

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

استادیار

• Program Analysis
• Energy Optimization
• Mobile Applications
• +۲ مورد دیگر

Ding Li is an Assistant Professor in the School of Computer Science at Peking University. He holds a Ph.D. in Computer Science from the University of Southern California (USC) and a B.S. from Peking University. His research focuses on program analysis, energy optimization for mobile applications, and security, with publications in top conferences including ICSE, FSE, and ASE. His research interests span: Program Analysis : Techniques to optimize mobile application energy consumption. System Security : Identifying vulnerabilities in Android apps and WebAssembly binaries. Cloud/Edge Computing : Enhancing serverless computing efficiency and federated learning security. Dr. Li's recent work explores the integration of large language models into pointer analysis and automated optimization of resource inefficiencies. His publications demonstrate a consistent focus on practical system optimizations and security enhancements across mobile, cloud, and machine learning domains. Awards: Viterbi Undergraduate Research Mentoring Award (2014)

David Lieمشاهده پروفایل

استاد

• Computer Security
• Privacy
• Program Analysis
• +۲ مورد دیگر

David Lie is a Professor in the Department of Electrical and Computer Engineering at the University of Toronto. He holds additional appointments in the Department of Computer Science and the Faculty of Law. He is a Tier 1 Canada Research Chair in Secure and Reliable Systems, a research lead at the Schwartz Reisman Institute for Technology and Society, an Associate Director at the Data Sciences Institute, a Vector Faculty Affiliate, and a Senior Massey College Fellow. His educational background includes: BASc from the University of Toronto (1998) MS from Stanford University (2001) PhD from Stanford University (2004) David Lie's research spans computer security, privacy, and cybersecurity. He is renowned for pioneering the XOM architecture—a foundational model for modern trusted execution environments like ARM TrustZone and Intel SGX—and developing the widely adopted PScout Android permission mapping tool. His current work emphasizes program analysis, fuzzing, and symbolic execution to enhance software security and reliability, addressing critical vulnerabilities in mobile and system software. His recent publications reveal a strong trajectory in integrating machine learning with program analysis techniques. Key themes include optimizing symbolic execution for Android apps, leveraging LLVM IR for bug detection, and using predictive models to guide test generation. These contributions underscore a practical focus on scalable, automated security tools that bridge theoretical advances with real-world software vulnerabilities. His notable awards include: Best Paper Award at SOSP Tier 1 Canada Research Chair in Secure and Reliable Systems Senior Massey College Fellow No specific information on student advising or research grants was provided in the available text, though his extensive program committee service for top security conferences (OSDI, IEEE Security & Privacy, CCS, etc.) indicates significant academic leadership. David Lie actively contributes to interdisciplinary research ecosystems through his roles at the Schwartz Reisman Institute for Technology and Society (as research lead), the Data Sciences Institute (as Associate Director), and the Vector Institute for Artificial Intelligence (as Faculty Affiliate), fostering collaborations between security research, law, and societal impact studies.

Stefan Zintelمشاهده پروفایل

مدرس

• Sound Art
• Electronic Music
• Audio Technology
• +۵ مورد دیگر

Stefan Zintel is a lecturer and sound artist at Hochschule der Bildenden Künste Saar (HBK Saar), where he has headed the Studio for Acoustic Communication since 1996. Born in 1967 in St. Ingbert, he lives and works in Saarbrücken, Saarland, Germany. Previously, he taught electronic music at Saarbrücken University of Music for ten years. Zintel's research interests center on sound art, electronic music composition, real-time audio processing, and therapeutic sound applications. His work explores the intersection of technology and acoustic communication, with a particular focus on Pure Data (Pd) software and sound installations. Recent projects include 'Sounding Vera Molnár,' which examines human-machine relationships through AI-generated interviews and quadraphonic sound interventions. Zintel's artistic output shows a clear evolution from early electronic music acts like Caterpillar and SCAN to contemporary therapeutic sound applications. His recent publications focus on white noise, pink noise, and natural soundscapes designed for sleep, focus, and tinnitus relief, demonstrating practical applications of his acoustic research. Key artistic achievements: International success since early 1990s with tracks on over 300 compilations Founder of Tildmusic® label (2006) with extensive catalog of therapeutic sound applications Sound installations and performances since 1996, including 'Sounding Vera Molnár' (2024) Extensive teaching career spanning over 25 years in audio technology and electronic music Zintel maintains an active practice balancing academic instruction with creative production. His Studio for Acoustic Communication serves as both a teaching facility and research laboratory, while Tildmusic provides the commercial outlet for his applied acoustic research. This integration of academic and artistic work creates a unique ecosystem where theoretical exploration directly informs practical applications in therapeutic sound technology.

Shing-Chi Cheungمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Software Testing
• +۷ مورد دیگر

Shing-Chi Cheung is a Professor of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST), School of Engineering. He founded the CASTLE research group and co-founded the International Workshop on Automation of Software Testing (AST) in 2006. His leadership includes serving as General Chair of FSE 2014 and chairing multiple APSEC conferences. His research focuses on software quality enhancement through program analysis, testing, debugging, and AI techniques, targeting Android apps, open-source software, deep learning systems, smart contracts, and spreadsheets. Current projects include metamorphic testing frameworks, binary analysis tools, and vulnerability detection systems for emerging technologies. His publication portfolio demonstrates consistent contributions to software engineering since 2016, with recent work emphasizing AI-integrated testing methodologies, smart contract security, and deep learning system reliability. Key trends show increasing focus on cross-language analysis, data visualization quality, and compiler-level verification for modern software stacks. Distinguished Member of the ACM Fellow of the British Computer Society Editorial board member: Science of Computer Programming (SCP), Journal of Computer Science and Technology (JCST) Former editorial board member: IEEE Transactions on Software Engineering (2006-2009), Information and Software Technology (2012-2015) Four patents in China and the United States Cheung actively mentors through the CASTLE research group and serves on program committees for major conferences including ICSE, ESEC/FSE, and ISSTA. His work bridges academic research with practical applications through industry collaborations and tool development. He has contributed to numerous workshops and symposia as steering committee member and program chair.

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

استادیار

• Program repair
• Program comprehension
• Mining software repositories
• +۳ مورد دیگر

Shangwen Wang is an Assistant Professor in the School of Computer Science at National University of Defense Technology (NUDT) in Changsha, China. He earned his Bachelor's degree in June 2017, Master's degree in December 2019, and Ph.D. in December 2023, all from NUDT. During his graduate studies, he was supervised by Professor Xiaoguang Mao. From May 2022 to July 2023, he was a visiting student at Southern University of Science and Technology under Professor Yepang Liu. His educational background includes: Ph.D. in Software Engineering, NUDT (2020.3-2023.12), supervised by Prof. Xiaoguang Mao Visiting Scholar, SUSTech (2022.5-2023.7), supervised by Prof. Yepang Liu M.A. in Software Engineering, NUDT (2017.9-2019.12), supervised by Prof. Xiaoguang Mao B.A. in Software Engineering, NUDT (2013.9-2017.6) Wang's research focuses on program repair, program comprehension, mining software repositories, software maintenance and evolution, software testing, and AI for Software Engineering. His work bridges traditional software engineering techniques with modern AI approaches, particularly leveraging large language models for various software engineering tasks. He has made significant contributions to automated program repair, fault localization, vulnerability detection, and code generation. His research demonstrates a strong emphasis on empirical validation and practical applicability to real-world software development challenges. His recent publications show a clear trend toward integrating large language models with traditional software engineering tasks. The 15 most recent articles reveal a focus on applying LLMs to program repair, fault localization, vulnerability detection, and code generation, while maintaining strong empirical foundations. His work spans both theoretical advancements and practical tool development, with applications in software security, testing, and maintenance. His notable achievements include: CCF Outstanding Doctoral Dissertation (CCF优博) 2024 Outstanding Doctoral Graduates, NUDT, 2023 Multiple distinguished paper awards including ACM SIGSOFT Distinguished Paper Award (ISSTA'24) and IEEE TCSE Distinguished Paper Awards (ICSME'22, SANER'22) Prestigious scholarships from NUDT throughout his academic career As an active member of the software engineering community, Wang serves on numerous program committees for top conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He has also contributed to teaching as a teaching assistant for courses such as Compiler, Python Programming, Discrete Mathematics, and C++ Programming. His research group appears to be actively mentoring students, as evidenced by his role as corresponding author on multiple student-led publications. Wang maintains an active research presence with collaborations across multiple institutions in China. His work demonstrates a clear trajectory from traditional program analysis techniques toward integrating cutting-edge AI approaches, particularly large language models, into software engineering practices.

Zhou Yangمشاهده پروفایل

استادیار

• Software Engineering
• Artificial Intelligence
• AI for Software Engineering
• +۳ مورد دیگر

Zhou Yang is an Assistant Professor at the University of Alberta and Fellow at the Alberta Machine Intelligence Institute (Amii), with research focusing on the intersection of software engineering and artificial intelligence. His academic journey includes a Ph.D. from Singapore Management University, an M.Sc. in Software System Engineering from University College London, and undergraduate studies at Yangzhou University. His research interests span Software Engineering, Artificial Intelligence, AI for Software Engineering (AI4SE), Software Engineering for AI (SE4AI), Large Language Models, and Cybersecurity. Yang's work explores how human and AI collaboration can improve code writing, how AI impacts open-source communities, and how developers build software in emerging environments like VR/AR. His recent publications demonstrate strong trends in code language models, with significant contributions to ASE, ICSE, ISSTA, and top journals like TOSEM and TSE. His research addresses critical challenges including token efficiency in code generation, user perception of AI coding assistants, privacy preservation in code models, and fairness in AI systems. 2024 IEEE Computer Society Best Paper Award (1 out of 183 submissions) ACM Distinguished Paper Award from ISSTA 2024 Distinguished Reviewer Award from Internetware 2024 SMU Research Staff Excellence Award (1 of 4 university-wide) SMU Presidential Fellowship Award SMU Dean's List Award 1st Place in ACM Student Research Competition at ICSE 2024 Yang actively mentors graduate students with regular one-on-one meetings, constructive feedback, and support for top-venue publications. He provides full funding through teaching assistantships and research grants, including travel support for conferences. His lab focuses on responsible research conduct and societal implications of AI work. Though early-career, he actively builds professional networks for students through collaborations and supports diverse career paths in academia and industry. He leads research in the Alberta Machine Intelligence Institute, focusing on practical applications where software engineering principles enhance AI systems and where AI techniques solve real-world software engineering challenges.

Marian Lingsch-Rosenfeldمشاهده پروفایل

پژوهشگر

• Software Verification
• Program Analysis
• Model Checking
• +۵ مورد دیگر

Marian Lingsch-Rosenfeld is a researcher at the Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich), affiliated with the Software and Computational Systems Lab. Based in Office Room F 012 at Oettingenstraße 67, Munich, they actively contribute to software verification research and mentor graduate students through thesis projects. Research interests focus on software verification , program analysis , and model checking , with specific expertise in predicate abstraction, constrained horn clauses, and deductive verification techniques. Their work bridges theoretical foundations with practical verification tools, particularly CPAchecker. Recent publications demonstrate significant contributions to verification witnesses, program transformations, and loop abstraction techniques. Conference participation includes active roles in ASE, ECOOP, and VMCAI as both author and committee member for artifact evaluation. As a thesis supervisor, they guide students through advanced topics including: Constrained-Horn-Clause export for CPAchecker BMC algorithm performance improvements Software Verification Witnesses extensions Deductive verifier development Compiler optimizations impact analysis Available for consultation via office hours by appointment through meet.lrz.de, with communication primarily via university email channels.

Xiaoning Duمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Artificial Intelligence
• Cybersecurity
• +۳ مورد دیگر

Xiaoning Du is a Senior Lecturer (equivalent to U.S. Associate Professor) at the Department of Software Systems and Cybersecurity within the Faculty of Information Technology at Monash University, Australia. She was promoted to this position effective July 1, 2025, having previously served as a Lecturer (Assistant Professor) since joining Monash in February 2021. Her research bridges the gap between theory and practical applications of program analysis and formal methods in evaluating traditional and AI-assisted software systems. Dr. Du's educational background includes: PhD from Nanyang Technological University (2020) Bachelor's degree from Fudan University (2014) Dr. Du specializes in software engineering, artificial intelligence, and cybersecurity , with particular focus on SE4AI (Software Engineering for AI), software analysis and testing . Her research has made significant contributions to the security and quality assurance of intelligent software systems, especially intelligent software engineering tools. She is best known for her work on Devign , BigCodeBench , DeepStellar , and SimPy , which have advanced the fields of code generation, program analysis, and AI security. Her approach consistently bridges theoretical foundations with practical applications to improve software quality and security. Dr. Du's recent publications demonstrate a strong focus on the intersection of software engineering and AI, particularly examining how large language models interact with source code. Her work addresses critical challenges in code generation efficiency, security vulnerabilities in AI-assisted development, and fairness in AI systems. She has made significant contributions to benchmarking frameworks like BigCodeBench and has pioneered research on watermarking techniques to protect code datasets from misuse by neural code completion models. Dr. Du has received numerous prestigious awards and recognitions: 2024 Google Research Scholar Award in Software Engineering ACM SIGSOFT Distinguished Paper Award (ISSTA'24) ICLR Oral presentation (2025) 2024 FIT Dean's Early Career Researcher of the Year Award Multiple FIT ECR Seed Grants (2021-2023) Dr. Du actively mentors PhD students, with notable successes including Terry (2024-2025 IBM PhD Fellowship Award recipient) and Zhensu (2024 Bytedance Scholarship Award recipient). She is currently seeking self-motivated PhD students with strong programming skills and relevant research experience, offering full scholarship support. Her research has been supported by multiple grants including the Google Research Scholar Program award and several FIT ECR Seed Grants that have enabled her team to pursue innovative research in software security and AI-assisted development. Dr. Du leads a research group focused on intelligent software systems security and quality assurance. Her team has developed several influential tools and benchmarks including Devign, BigCodeBench, DeepStellar, and SimPy. These resources have become important assets for researchers and practitioners working at the intersection of software engineering and artificial intelligence, particularly in the areas of code generation, program analysis, and security testing of AI systems.

Zhiyun Qianمشاهده پروفایل

استاد

• System Security
• Network Security
• Vulnerability Analysis
• +۵ مورد دیگر

Zhiyun Qian is the Everett and Imogene Ross Professor in the Department of Computer Science and Engineering at the University of California Riverside. His research bridges academic security research with practical hacking techniques, focusing on vulnerability discovery and analysis across operating systems, networks, and mobile platforms. His primary research interests include: System security: Automated cyber attacks/defenses, kernel vulnerability discovery, and security tool development Network security: TCP side channels, multi-path TCP flaws, and firewall evasion techniques AI/ML applications for security: LLM-integrated static analysis and reinforcement-learning-based fuzzing His work has led to critical discoveries including unfixable TCP side channel vulnerabilities (CVE-2016-5696) recognized with GeekPwn awards. His research methodology combines program analysis, reverse engineering, fuzzing, model checking, and machine learning to build practical security systems. Notable scientific awards include: GeekPwn 2016 most creative idea award Geekpwn 2017 winner award Applied Networking Research Prize Professor Qian actively mentors students in security competitions including Pwn2Own and GeekPwn. He serves on prestigious program committees including IEEE Security and Privacy (Oakland), ACM CCS, and USENIX Security. His teaching portfolio includes graduate courses CS 254 (Network Security) and CS 255 (Computer Security), along with undergraduate courses CS 153 (Operating Systems) and CS 165 (Computer Security). He leads the SecLab research group at UCR (GitHub: seclab-ucr, 3824★) developing security tools for kernel and Android ecosystems. Current projects focus on LLM-enhanced static analysis, precise vulnerability detection, and automated patch testing.

Gary Tanمشاهده پروفایل

استاد

• computer security
• formal methods
• programming languages
• +۳ مورد دیگر

Gang (Gary) Tan is a Professor in the Computer Science and Engineering Department at Pennsylvania State University, co-directing the Institute for Networking and Security Research (INSR). His research bridges computer security, formal methods, and programming languages to develop practical solutions for software vulnerabilities and AI fairness. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University Dr. Tan specializes in applying compiler techniques and formal verification to security challenges, with seminal work on cache side-channel attacks and fairness in machine learning. His Security of Software (SOS) Group develops frameworks that integrate theoretical guarantees into real-world systems, emphasizing measurable security outcomes and ethical AI. Recent projects focus on quantifying bias in neural networks and mitigating speculative execution vulnerabilities. Analysis of his 2021-2025 publications reveals a strategic pivot toward AI security, where he pioneers methods for fairness testing (e.g., information-theoretic debugging) and repair (e.g., NeuFair). Concurrently, his security work evolves from foundational side-channel research (SpecSafe, 2021) toward hardware-software co-design solutions, demonstrating consistent innovation across theoretical and applied domains. Scientific Awards: James F. Will Career Development Professorship NSF CAREER Award Google Research Award (two instances) Distinguished Reviewer Award at 2018 IEEE Symposium on Security and Privacy Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Best Paper Award at PLDI 2024 Dr. Tan leads the SOS Group with funding from NSF (including CAREER), DARPA (ISAT study group membership), and industry partners like Google. His grants support interdisciplinary projects spanning secure compilation, fairness engineering, and hardware security, while his teaching excellence award reflects commitment to pedagogy in core systems courses. He co-directs Penn State's Institute for Networking and Security Research (INSR), fostering collaboration between systems, security, and AI researchers. The SOS Group maintains active partnerships with industry security teams and contributes to open-source tools for vulnerability detection, with recent work expanding into fairness certification for machine learning pipelines.

Jie Luمشاهده پروفایل

دانشیار

• Software Security
• Program Analysis
• Vulnerability Detection
• +۵ مورد دیگر

Jie Lu is an Associate Professor at the Institute of Computing Technology of the Chinese Academy of Sciences (ICT, CAS), where he leads research in software security and program analysis. His work focuses on developing advanced program analysis techniques to improve software reliability and security, with applications in cloud systems, distributed environments, and modern web applications. Dr. Lu's research interests include: Software Security: Focusing on vulnerability detection and prevention in open-source software Program Analysis: Specializing in static/dynamic analysis techniques and context-sensitive pointer analysis Cloud Systems: Researching distributed system security, crash-recovery, and concurrency bug detection His recent publications demonstrate a strong focus on practical security solutions for real-world systems. The research spans Kubernetes ecosystems, PHP applications, Linux kernel security, Java web applications, and Windows IPC systems. A notable trend is the development of precise static analysis techniques that balance efficiency with accuracy, addressing the longstanding challenge in program analysis. His work often bridges theoretical advances with practical implementations that have been adopted by industry. Dr. Lu has received several prestigious awards: ACM SIGSOFT Distinguished Paper Award 2025 Best Paper Honorable Mention at CCS 2022 Chinese Academy of Sciences Outstanding Doctoral Dissertation 2021 Chinese Academy of Sciences President's Special Award 2020 ICT New Hundred Stars 2020 Dr. Lu actively mentors students and researchers, recruiting PhD candidates, Master students, and research interns interested in software security and program analysis. His research has been supported by the National Natural Science Foundation of China, CCF-Huawei Innovation Research Plan, and CCF-Ant Research Fund. The Program Analysis Group (ICT-PAG) at the National Key Laboratory of Processor has successfully identified numerous errors and vulnerabilities in popular open-source applications, with over 200 severe bugs confirmed by the open-source community and assigned more than 100 CVE numbers. His research group, the Program Analysis Group (ICT-PAG), is based in the National Key Laboratory of Processor at ICT, CAS. The group has achieved significant impact through both academic publications in top venues (SOSP, CCS, USENIX Security, NDSS, OOPSLA, ISSTA, FSE, ASE, TSE) and practical applications in leading IT companies and government organizations.