LMPL 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (107)

A Nada AminAmin, Nada Harvard UniversityUnited States The Modular Imperative: Rethinking LLMs for Maintainable Software
Zhendong AngAng, Zhendong National University of Singapore Ranking Formal Specifications using LLMs
B Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Committee Member in Program Committee within the LMPL-track
Barış BayazıtBayazıt, Barış University of Toronto A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Aaron BembenekBembenek, Aaron The University of MelbourneAustralia Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can Do Better
C Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Program Committee within the LMPL-track
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics
Dong ChenChen, Dong Huawei Technologies Co., Ltd CG-Bench: Can Language Models Assist Call Graph Construction in the Real World?
Jocelyn Qiaochu ChenChen, Jocelyn Qiaochu New York University, University of AlbertaUnited States Committee Member in Program Committee within the LMPL-track
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina Preguss: It Analyzes, It Specifies, It Verifies
Xiang ChenChen, Xiang The Hong Kong University of Science and Technology ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection
Xiangqun ChenChen, Xiangqun Peking UniversityChina Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Zhaojun ChenChen, Zhaojun Tencent Security Yunding Lab Improving SAST Detection Capability with LLMs and Enhanced DFA
Baijun ChengCheng, Baijun Peking University Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Xiao ChengCheng, Xiao Macquarie UniversityAustralia Committee Member in Program Committee within the LMPL-track
D Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in Program Committee within the LMPL-track
Mehmet Oguz DerinDerin, Mehmet Oguz Unaffiliated W2GPU: Toward WebAssembly-to-WebGPU Program Translation via Small Language Models
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Ranking Formal Specifications using LLMs
Peng DiDi, Peng Ant Group & UNSW SydneyChina Function Renaming in Reverse Engineering of Embedded Device Firmware with ChatGPT Committee Member in Program Committee within the LMPL-track
Yuxin DongDong, Yuxin Peking University Improving SAST Detection Capability with LLMs and Enhanced DFA
Zhiqiang DongDong, Zhiqiang Tencent Security Yunding Lab Improving SAST Detection Capability with LLMs and Enhanced DFA
Yalong DuDu, Yalong Harbin Institute of Technology, Shenzhen Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps
Saikat DuttaDutta, Saikat Cornell UniversityUnited States Committee Member in Program Committee within the LMPL-track
E Khashayar EtemadiEtemadi, Khashayar KTH Royal Institute of Technology Committee Member in Program Committee within the LMPL-track
F Gang FanFan, Gang Huawei Hong Kong Research CentreHong Kong SAR China Committee Member in Program Committee within the LMPL-track
Yang FengFeng, Yang Nanjing UniversityChina Session Chair of Neuro-Symbolic Language/Agent Design (part of LMPL) Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study Committee Member in Program Committee within the LMPL-track
G Fernanda GraciolliGraciolli, Fernanda Midspiral The Modular Imperative: Rethinking LLMs for Maintainable Software
Yao GuoGuo, Yao Peking UniversityChina Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Aarti GuptaGupta, Aarti Princeton University Ranking Formal Specifications using LLMs
H Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States Ranking Formal Specifications using LLMs
Jingxuan HeHe, Jingxuan University of California at BerkeleyUnited States Committee Member in Program Committee within the LMPL-track
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Committee Member in Program Committee within the LMPL-track
Qi HeHe, Qi Nanjing University Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study
Brian Hyeongseok KimHyeongseok Kim, Brian University of Southern California Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
I Maliheh IzadiIzadi, Maliheh Delft University of TechnologyNetherlands Committee Member in Program Committee within the LMPL-track
J Yu JiangJiang, Yu Tsinghua UniversityChina Function Renaming in Reverse Engineering of Embedded Device Firmware with ChatGPT Committee Member in Program Committee within the LMPL-track
K Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States The Modular Imperative: Rethinking LLMs for Maintainable Software
L Claire Le GouesLe Goues, Claire Carnegie Mellon University Committee Member in Organizing Committee within the LMPL-track
Ding LiLi, Ding Peking UniversityChina Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Haokun LiLi, Haokun Peking University Preguss: It Analyzes, It Specifies, It Verifies
Shaohua LiLi, Shaohua The Chinese University of Hong KongHong Kong SAR China Committee Member in Program Committee within the LMPL-track
Yao LiLi, Yao Portland State UniversityUnited States A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Yi LiLi, Yi Nanyang Technological UniversitySingapore Committee Member in Program Committee within the LMPL-track
Ziyang LiLi, Ziyang Johns Hopkins UniversityUnited States Committee Member in Program Committee within the LMPL-track
Zongjie LiLi, Zongjie The Hong Kong University of Science and Technology Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models
Tengjie LinLin, Tengjie Zhejiang University Preguss: It Analyzes, It Specifies, It Verifies
Hongyu LiuLiu, Hongyu Huawei ChinaChina Committee Member in Program Committee within the LMPL-track
Puzhuo LiuLiu, Puzhuo Ant Group & Tsinghua UniversityChina Session Chair of LLMs for Program Analysis and Verification I (part of LMPL) Function Renaming in Reverse Engineering of Embedded Device Firmware with ChatGPT
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Committee Member in Program Committee within the LMPL-track
Yiling LouLou, Yiling Fudan UniversityChina Committee Member in Program Committee within the LMPL-track
Yuan LuoLuo, Yuan Tencent Security Yunding Lab Improving SAST Detection Capability with LLMs and Enhanced DFA
M Sergey MechtaevMechtaev, Sergey Peking UniversityChina Committee Member in Organizing Committee within the LMPL-track
Jacqueline MitchellMitchell, Jacqueline University of Southern California Vibe Coding Needs Vibe Reasoning – Improving Vibe Coding with Formal Verification Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
P Kexin PeiPei, Kexin The University of ChicagoUnited States Committee Member in Program Committee within the LMPL-track
Q Shengchao QinQin, Shengchao Xidian UniversityChina Preguss: It Analyzes, It Specifies, It Verifies
R Julia RubinRubin, Julia The University of British ColumbiaCanada Committee Member in Program Committee within the LMPL-track
S Koushik SenSen, Koushik University of California at BerkeleyUnited States Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad
Yasser ShaabanShaaban, Yasser WorkatoUnited States Vibe Coding Needs Vibe Reasoning – Improving Vibe Coding with Formal Verification
Ling ShiShi, Ling Nanyang Technological UniversitySingapore Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Qingkai ShiShi, Qingkai Nanjing UniversityChina Committee Member in Organizing Committee within the LMPL-track
Xujie SiSi, Xujie University of Toronto Toward Repository-Level Program Verification with Large Language Models A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Ting SuSu, Ting East China Normal UniversityChina Committee Member in Program Committee within the LMPL-track
Yulei SuiSui, Yulei University of New South WalesAustralia Committee Member in Program Committee within the LMPL-track
Jun SunSun, Jun Singapore Management UniversitySingapore AI Safety through Programming? Keynote Speaker in Keynote Speaker within the LMPL-track
Yi SunSun, Yi Tencent Security Yunding Lab Improving SAST Detection Capability with LLMs and Enhanced DFA
T Shangyin TanTan, Shangyin University of California, BerkeleyUnited States Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad
U Caterina UrbanUrban, Caterina Inria & ENS \| PSLFrance Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis
W Chao WangWang, Chao University of Southern CaliforniaUnited States Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Chaozheng WangWang, Chaozheng The Chinese University of Hong Kong Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps
Chengpeng WangWang, Chengpeng Purdue UniversityUnited States Committee Member in Organizing Committee within the LMPL-track
Di WangWang, Di Peking UniversityChina Composable Effect Handling for Programming LLM-integrated Scripts
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Huaijin WangWang, Huaijin Ohio State UniversityChina Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Committee Member in Program Committee within the LMPL-track
Jie WangWang, Jie Huawei Technologies Co., Ltd CG-Bench: Can Language Models Assist Call Graph Construction in the Real World?
Kailong WangWang, Kailong Huazhong University of Science and TechnologyChina Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models Committee Member in Program Committee within the LMPL-track
Zhongyi WangWang, Zhongyi Zhejiang University, ChinaChina Preguss: It Analyzes, It Specifies, It Verifies
Guannan WeiWei, Guannan Tufts UniversityUnited States Session Chair of LLMs for Code Generation (part of LMPL) Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad
Ming WenWen, Ming Huazhong University of Science and TechnologyChina Committee Member in Program Committee within the LMPL-track
Rongxin WuWu, Rongxin Xiamen UniversityChina Committee Member in Program Committee within the LMPL-track
X Yifan XiaXia, Yifan Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Fei XieXie, Fei Tencent Security Yunding Lab Improving SAST Detection Capability with LLMs and Enhanced DFA
Lihan XieXie, Lihan Shanghai Jiao Tong University The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics
Baowen XuXu, Baowen Nanjing University Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study
Y Junchi YanYan, Junchi Shanghai Jiao Tong University The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics
Yanyan YanYan, Yanyan Nanjing UniversityChina Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study
Mingqi YangYang, Mingqi Zhejiang University Preguss: It Analyzes, It Specifies, It Verifies
Zhou YangYang, Zhou University of Alberta, Alberta Machine Intelligence Institute Canada Committee Member in Program Committee within the LMPL-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in Program Committee within the LMPL-track
Yuan YaoYao, Yuan Nanjing UniversityChina Committee Member in Program Committee within the LMPL-track
Chengfeng YeYe, Chengfeng The Hong Kong University of Science and TechnologyChina ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection
He YeYe, He Carnegie Mellon University Committee Member in Organizing Committee within the LMPL-track
Xiao YiYi, Xiao The Chinese University of Hong Kong Preguss: It Analyzes, It Specifies, It Verifies
Jianwei YinYin, Jianwei Zhejiang UniversityChina Preguss: It Analyzes, It Specifies, It Verifies
Ting YuanYuan, Ting CG-Bench: Can Language Models Assist Call Graph Construction in the Real World?
Yuanyuan YuanYuan, Yuanyuan ETH Zurich Committee Member in Program Committee within the LMPL-track
Z Matei ZahariaZaharia, Matei UC Berkeley Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad
Jun ZengZeng, Jun Chongqing UniversityChina Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study
Charles ZhangZhang, Charles The Hong Kong University of Science and TechnologyChina ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection
Haiquan ZhangZhang, Haiquan Tencent Security Yunding Lab Improving SAST Detection Capability with LLMs and Enhanced DFA
Wenrui ZhangZhang, Wenrui Huawei Technologies Co., Ltd CG-Bench: Can Language Models Assist Call Graph Construction in the Real World?
Wuqi ZhangZhang, Wuqi MegaETHHong Kong SAR China Committee Member in Program Committee within the LMPL-track
Zhuo ZhangZhang, Zhuo Columbia UniversityUnited States Session Chair of LLMs for Program Analysis and Verification II (part of LMPL) Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis Committee Member in Organizing Committee within the LMPL-track
Si Cheng ZhongZhong, Si Cheng University of Toronto Toward Repository-Level Program Verification with Large Language Models
Anshunkang ZhouZhou, Anshunkang The Hong Kong University of Science and TechnologyChina ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Dizhi ZhouZhou, Dizhi Committee Member in Program Committee within the LMPL-track