Software Assurance by Bounded Exhaustive Testing. - David Coppit; Jinlin Yang; Sarfraz Khurshid; Wei Le; Kevin J. Sullivan (IEEE Trans. Software Eng., 2005)

Refining buffer overflow detection via demand-driven path-sensitive analysis. - Wei Le; Mary Lou Soffa (PASTE, 2007)

Marple: a demand-driven path-sensitive buffer overflow detector. - Wei Le; Mary Lou Soffa (SIGSOFT FSE, 2008)

Path-based fault correlations. - Wei Le; Mary Lou Soffa (SIGSOFT FSE, 2010)

Lazy preemption to enable path-based analysis of interrupt-driven code. - Wei Le; Jing Yang 003; Mary Lou Soffa; Kamin Whitehouse (SESENA@ICSE, 2011)

Generating analyses for detecting faults in path segments. - Wei Le; Mary Lou Soffa (ISSTA, 2011)

Segmented symbolic analysis. - Wei Le (ICSE, 2013)

Marple: Detecting faults in path segments using automatically generated analyses. - Wei Le; Mary Lou Soffa (ACM Trans. Softw. Eng. Methodol., 2013)

Patch verification via multiversion interprocedural control flow graphs. - Wei Le; Shannon D. Pattison (ICSE, 2014)

A code clone oracle. - Daniel E. Krutz; Wei Le (MSR, 2014)

S-looper: automatic summarization for multipath string loops. - Xiaofei Xie; Yang Liu 003; Wei Le; Xiaohong Li 001; Hongxu Chen 001 (ISSTA, 2015)

Generating performance distributions via probabilistic symbolic execution. - Bihuan Chen 001; Yang Liu 003; Wei Le (ICSE, 2016)

Proteus: computing disjunctive loop summary via path dependency analysis. - Xiaofei Xie; Bihuan Chen 001; Yang Liu 003; Wei Le; Xiaohong Li 001 (SIGSOFT FSE, 2016)

Predicate callback summaries. - Danilo Dominguez Perez; Wei Le (ICSE (Companion Volume), 2017)

Generating Predicate Callback Summaries for the Android Framework. - Danilo Dominguez Perez; Wei Le (MOBILESoft@ICSE, 2017)

Research on the Influence of Airline Service Factors on Purchase Intention: Based on Emotional Perspective. - Donghui He; Wei Le; Benhai Guo; Hongjuan Yin (ICMSS, 2019)

Invariant Diffs. - Ashwin Kallingal Joshy; Wei Le (CoRR, 2019)

Testing Criteria for Mobile Apps Based on Callback Sequences. - Danilo Dominguez Perez; Wei Le (CoRR, 2019)

Automatic Loop Summarization via Path Dependency Analysis. - Xiaofei Xie; Bihuan Chen 001; Liang Zou; Yang Liu 003; Wei Le; Xiaohong Li 001 (IEEE Trans. Software Eng., 2019)

An Improved (Adversarial) Reprogramming Technique for Neural Networks. - Eliska Kloberdanz; Jin Tian 001; Wei Le (ICANN (1), 2021)

RNNRepair: Automatic RNN Repair via Model-based Analysis. - Xiaofei Xie; Wenbo Guo 002; Lei Ma 003; Wei Le; Jian Wang 067; Lingjun Zhou; Yang Liu 003; Xinyu Xing 001 (ICML, 2021)

DeepLocalize: Fault Localization for Deep Neural Networks. - Mohammad Wardat; Wei Le; Hridesh Rajan (ICSE, 2021)

Validating static warnings via testing code fragments. - Ashwin Kallingal Joshy; Xueyuan Chen; Benjamin Steenhoek; Wei Le (ISSTA, 2021)

Specifying Callback Control Flow of Mobile Apps Using Finite Automata. - Danilo Dominguez Perez; Wei Le (IEEE Trans. Software Eng., 2021)

DeepStability: A Study of Unstable Numerical Methods and Their Solutions in Deep Learning. - Eliska Kloberdanz; Kyle G. Kloberdanz; Wei Le (ICSE, 2022)

DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs. - Mohammad Wardat; Breno Dantas Cruz; Wei Le; Hridesh Rajan (ICSE, 2022)

FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures. - Ashwin Kallingal Joshy; Wei Le (ASE, 2022)

DeepDFA: Dataflow Analysis-Guided Efficient Graph Learning for Vulnerability Detection. - Benjamin Steenhoek; Wei Le; Hongyang Gao (CoRR, 2022)

S-SOLVER: Numerically Stable Adaptive Step Size Solver for Neural ODEs. - Eliska Kloberdanz; Wei Le (ICANN (9), 2023)

Block-Level Stiffness Analysis of Residual Networks. - Eliska Kloberdanz; Wei Le (ICANN (10), 2023)

Enterprise Digital Transformation Risk Identification and Dynamic Assessment Model under Big Data Perspective. - Wanqing Liu; Wei Le (ICBAR, 2023)

An Empirical Study of Deep Learning Models for Vulnerability Detection. - Benjamin Steenhoek; Md Mahbubur Rahman; Richard Jiles; Wei Le (ICSE, 2023)

GameRTS: A Regression Testing Framework for Video Games. - Jiongchi Yu; Yuechen Wu; Xiaofei Xie; Wei Le; Lei Ma 003; Yingfeng Chen; Jingyu Hu; Fan Zhang 010 (ICSE, 2023)

Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks. - Wei Qian; Chenxu Zhao; Wei Le; Meiyi Ma; Mengdi Huai (KDD, 2023)

A Study of Static Warning Cascading Tools (Experience Paper). - Xiuyuan Guo; Ashwin Kallingal Joshy; Benjamin Steenhoek; Wei Le; Lori Flynn (CoRR, 2023)

Beryllium: Neural Search for Algorithm Implementations. - Adithya Kulkarni; Mohna Chakraborty; Yonas Sium; Sai Charishma Valluri; Wei Le; Qi Li 012 (CoRR, 2023)

An Effective Data-Driven Approach for Localizing Deep Learning Faults. - Mohammad Wardat; Breno Dantas Cruz; Wei Le; Hridesh Rajan (CoRR, 2023)

Reproducing Failures in Fault Signatures. - Ashwin Kallingal Joshy; Benjamin Steenhoek; Xiuyuan Guo; Wei Le (CoRR, 2023)

MixQuant: Mixed Precision Quantization with a Bit-width Optimization Search. - Eliska Kloberdanz; Wei Le (CoRR, 2023)

Do Language Models Learn Semantics of Code? A Case Study in Vulnerability Detection. - Benjamin Steenhoek; Md Mahbubur Rahman; Shaila Sharmin; Wei Le (CoRR, 2023)

ActiveClean: Generating Line-Level Vulnerability Data via Active Learning. - Ashwin Kallingal Joshy; Mirza Sanjida Alam; Shaila Sharmin; Qi Li; Wei Le (CoRR, 2023)

Reducing branch divergence to speed up parallel execution of unit testing on GPUs. - Taghreed Bagies; Wei Le; Jeremy Sheaffer; Ali Jannesari (J. Supercomput., 2023)

Evolution Mechanism of Cooperative Innovation in Integrated Circuit Industry Innovation Ecosystem from the Perspective of Symbiosis. - Hengxiang Ye; Wei Le; Wanqing Liu (ICBAR, 2024)

TRACED: Execution-aware Pre-training for Source Code. - Yangruibo Ding; Benjamin Steenhoek; Kexin Pei; Gail E. Kaiser; Wei Le; Baishakhi Ray (ICSE, 2024)

Towards Causal Deep Learning for Vulnerability Detection. - Md Mahbubur Rahman; Ira Ceka; Chengzhi Mao; Saikat Chakraborty; Baishakhi Ray; Wei Le (ICSE, 2024)

Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection. - Benjamin Steenhoek; Hongyang Gao; Wei Le (ICSE, 2024)

Towards Reliability MRAM for Energy-Efficient Spin-orbit Torque Switching. - Zhenghan Fang; Lirida Naviner; Wen Wang; Wei Le; Hao Cai 001 (SBCCI, 2024)

Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs. - Anwar Hossain Zahid; Ignacio Laguna; Wei Le (SC Workshops, 2024)

A Comprehensive Study of the Capabilities of Large Language Models for Vulnerability Detection. - Benjamin Steenhoek; Md Mahbubur Rahman; Monoshi Kumar Roy; Mirza Sanjida Alam; Earl T. Barr; Wei Le (CoRR, 2024)

MoRE: Multi-Modal Contrastive Pre-training with Transformers on X-Rays, ECGs, and Diagnostic Report. - Samrajya Thapa; Koushik Howlader; Subhankar Bhattacharjee; Wei Le (CoRR, 2024)

Integrating external representations and internal patterns into dynamic multiple-criteria decision making. - Xiaoyang Yao; Enmeng Liu; Xiaolei Sun; Wei Le; Jianping Li 001 (Ann. Oper. Res., 2024)

Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE. - Benjamin Steenhoek; Kalpathy Sivaraman; Renata Saldivar Gonzalez; Yevhen Mohylevskyy; Roshanak Zilouchian Moghaddam; Wei Le (ICSE, 2025)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions. - Shaila Sharmin; Anwar Hossain Zahid; Subhankar Bhattacharjee; Chiamaka Igwilo; Miryung Kim; Wei Le (Proc. ACM Softw. Eng., 2025)

CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning. - Monoshi Kumar Roy; Simin Chen; Benjamin Steenhoek; Jinjun Peng; Gail E. Kaiser; Baishakhi Ray; Wei Le (CoRR, 2025)