جست‌وجوی استاد و پژوهشگر

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.

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

دانشیار

• Artificial Intelligence
• Software Engineering
• Natural Language Processing
• +۳ مورد دیگر

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.

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

استاد

• Program analysis
• Software security
• Software engineering
• +۴ مورد دیگر

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.