Wei Le

According to our database, Wei Le authored at least 44 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection.

Benjamin Steenhoek, Hongyang Gao, Wei Le

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

TRACED: Execution-aware Pre-training for Source Code.

Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Reducing branch divergence to speed up parallel execution of unit testing on GPUs.

Taghreed Bagies, Wei Le, Jeremy Sheaffer, Ali Jannesari

J. Supercomput., November, 2023

ActiveClean: Generating Line-Level Vulnerability Data via Active Learning.

Ashwin Kallingal Joshy, Mirza Sanjida Alam, Shaila Sharmin, Qi Li, 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

Towards Causal Deep Learning for Vulnerability Detection.

Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty, Baishakhi Ray, Wei Le

CoRR, 2023

MixQuant: Mixed Precision Quantization with a Bit-width Optimization Search.

Eliska Kloberdanz, Wei Le

CoRR, 2023

Reproducing Failures in Fault Signatures.

Ashwin Kallingal Joshy, Benjamin Steenhoek, Xiuyuan Guo, Wei Le

CoRR, 2023

An Effective Data-Driven Approach for Localizing Deep Learning Faults.

Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan

CoRR, 2023

Beryllium: Neural Search for Algorithm Implementations.

Adithya Kulkarni, Mohna Chakraborty, Yonas Sium, Sai Charishma Valluri, Wei Le, Qi Li

CoRR, 2023

A Study of Static Warning Cascading Tools (Experience Paper).

Xiuyuan Guo, Ashwin Kallingal Joshy, Benjamin Steenhoek, Wei Le, Lori Flynn

CoRR, 2023

Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks.

Wei Qian, Chenxu Zhao, Wei Le, Meiyi Ma, Mengdi Huai

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

GameRTS: A Regression Testing Framework for Video Games.

Jiongchi Yu, Yuechen Wu, Xiaofei Xie, Wei Le, Lei Ma, Yingfeng Chen, Jingyu Hu, Fan Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

An Empirical Study of Deep Learning Models for Vulnerability Detection.

Benjamin Steenhoek, Md Mahbubur Rahman, Richard Jiles, Wei Le

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

S-SOLVER: Numerically Stable Adaptive Step Size Solver for Neural ODEs.

Eliska Kloberdanz, Wei Le

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2023, 2023

2022

DeepDFA: Dataflow Analysis-Guided Efficient Graph Learning for Vulnerability Detection.

Benjamin Steenhoek, Wei Le, Hongyang Gao

CoRR, 2022

FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures.

Ashwin Kallingal Joshy, Wei Le

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs.

Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

DeepStability: A Study of Unstable Numerical Methods and Their Solutions in Deep Learning.

Eliska Kloberdanz, Kyle G. Kloberdanz, Wei Le

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Specifying Callback Control Flow of Mobile Apps Using Finite Automata.

Danilo Dominguez Perez, Wei Le

IEEE Trans. Software Eng., 2021

Validating static warnings via testing code fragments.

Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

DeepLocalize: Fault Localization for Deep Neural Networks.

Mohammad Wardat, Wei Le, Hridesh Rajan

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

RNNRepair: Automatic RNN Repair via Model-based Analysis.

Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing

Proceedings of the 38th International Conference on Machine Learning, 2021

An Improved (Adversarial) Reprogramming Technique for Neural Networks.

Eliska Kloberdanz, Jin Tian, Wei Le

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

2019

Automatic Loop Summarization via Path Dependency Analysis.

Xiaofei Xie, Bihuan Chen, Liang Zou, Yang Liu, Wei Le, Xiaohong Li

IEEE Trans. Software Eng., 2019

Testing Criteria for Mobile Apps Based on Callback Sequences.

Danilo Dominguez Perez, Wei Le

CoRR, 2019

Invariant Diffs.

Ashwin Kallingal Joshy, Wei Le

CoRR, 2019

Research on the Influence of Airline Service Factors on Purchase Intention: Based on Emotional Perspective.

Donghui He, Wei Le, Benhai Guo, Hongjuan Yin

Proceedings of the 2019 3rd International Conference on Management Engineering, 2019

2017

Generating Predicate Callback Summaries for the Android Framework.

Danilo Dominguez Perez, Wei Le

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Predicate callback summaries.

Danilo Dominguez Perez, Wei Le

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Proteus: computing disjunctive loop summary via path dependency analysis.

Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, Xiaohong Li

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Generating performance distributions via probabilistic symbolic execution.

Bihuan Chen, Yang Liu, Wei Le

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

S-looper: automatic summarization for multipath string loops.

Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

A code clone oracle.

Daniel E. Krutz, Wei Le

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Patch verification via multiversion interprocedural control flow graphs.

Wei Le, Shannon D. Pattison

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Marple: Detecting faults in path segments using automatically generated analyses.

Wei Le, Mary Lou Soffa

ACM Trans. Softw. Eng. Methodol., 2013

Segmented symbolic analysis.

Wei Le

Proceedings of the 35th International Conference on Software Engineering, 2013

2011

Generating analyses for detecting faults in path segments.

Wei Le, Mary Lou Soffa

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Lazy preemption to enable path-based analysis of interrupt-driven code.

Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

2010

Path-based fault correlations.

Wei Le, Mary Lou Soffa

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2008

Marple: a demand-driven path-sensitive buffer overflow detector.

Wei Le, Mary Lou Soffa

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

2007

Refining buffer overflow detection via demand-driven path-sensitive analysis.

Wei Le, Mary Lou Soffa

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2005

Software Assurance by Bounded Exhaustive Testing.

David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan

IEEE Trans. Software Eng., 2005