Wei Le

Roshanak Zilouchian Moghaddam

Kalpathy Sivaraman

Renata Saldivar Gonzalez

Yevhen Mohylevskyy

CoRR, 2024

A Comprehensive Study of the Capabilities of Large Language Models for Vulnerability Detection.

[BibT_eX]

[DOI]

CoRR, 2024

Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs.

[BibT_eX]

[DOI]

Anwar Hossain Zahid

Ignacio Laguna

Proceedings of the SC24-W: Workshops of the International Conference for High Performance Computing, 2024

Towards Reliability MRAM for Energy-Efficient Spin-orbit Torque Switching.

[BibT_eX]

[DOI]

Proceedings of the 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design, 2024

Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection.

[BibT_eX]

[DOI]

Hongyang Gao

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

Towards Causal Deep Learning for Vulnerability Detection.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Supercomput., November, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Do Language Models Learn Semantics of Code? A Case Study in Vulnerability Detection.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Reproducing Failures in Fault Signatures.

[BibT_eX]

[DOI]

Xiuyuan Guo

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Beryllium: Neural Search for Algorithm Implementations.

[BibT_eX]

[DOI]

Adithya Kulkarni

Mohna Chakraborty

Yonas Sium

Sai Charishma Valluri

Qi Li

CoRR, 2023

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

[BibT_eX]

[DOI]

Xiuyuan Guo

Lori Flynn

CoRR, 2023

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

[BibT_eX]

[DOI]

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

GameRTS: A Regression Testing Framework for Video Games.

[BibT_eX]

[DOI]

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

An Empirical Study of Deep Learning Models for Vulnerability Detection.

[BibT_eX]

[DOI]

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

Enterprise Digital Transformation Risk Identification and Dynamic Assessment Model under Big Data Perspective.

[BibT_eX]

[DOI]

Wanqing Liu

Proceedings of the 2023 3rd International Conference on Big Data, 2023

Block-Level Stiffness Analysis of Residual Networks.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning, 2023

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

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

Hongyang Gao

CoRR, 2022

FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Kyle G. Kloberdanz

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

2021

Specifying Callback Control Flow of Mobile Apps Using Finite Automata.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Validating static warnings via testing code fragments.

[BibT_eX]

[DOI]

Xueyuan Chen

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

DeepLocalize: Fault Localization for Deep Neural Networks.

[BibT_eX]

[DOI]

Mohammad Wardat

Hridesh Rajan

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

RNNRepair: Automatic RNN Repair via Model-based Analysis.

[BibT_eX]

[DOI]

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

An Improved (Adversarial) Reprogramming Technique for Neural Networks.

[BibT_eX]

[DOI]

Jin Tian

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

2019

Automatic Loop Summarization via Path Dependency Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Testing Criteria for Mobile Apps Based on Callback Sequences.

[BibT_eX]

[DOI]

CoRR, 2019

Invariant Diffs.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

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

2017

Generating Predicate Callback Summaries for the Android Framework.

[BibT_eX]

[DOI]

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

Predicate callback summaries.

[BibT_eX]

[DOI]

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

2016

Proteus: computing disjunctive loop summary via path dependency analysis.

[BibT_eX]

[DOI]

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

Generating performance distributions via probabilistic symbolic execution.

[BibT_eX]

[DOI]

Bihuan Chen

Yang Liu

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

2015

S-looper: automatic summarization for multipath string loops.

[BibT_eX]

[DOI]

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

2014

A code clone oracle.

[BibT_eX]

[DOI]

Daniel E. Krutz

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

Patch verification via multiversion interprocedural control flow graphs.

[BibT_eX]

[DOI]

Shannon D. Pattison

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

2013

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Segmented symbolic analysis.

[BibT_eX]

[DOI]

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

2011

Generating analyses for detecting faults in path segments.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2010

Path-based fault correlations.

[BibT_eX]

[DOI]

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

2008

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]