Baishakhi Ray
- NEUZZ: Efficient Fuzzing with Neural Program Smoothing
2018/07/15 by Dongdong She, Kexin Pei, She, Dongdong +9 · 1 voice · 8 citations
Computer Science · #Advanced Malware Detection Techniques #Software Engineering Research #Software Testing and Debugging Techniques #cs.CR #cs.LG
- DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
2017/08/28 by Yuchi Tian, Tian, Yuchi, Kexin Pei +5 · 29 citations
Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Software Testing and Debugging Techniques
- Deep Learning based Vulnerability Detection: Are We There Yet?
2020/09/03 by Saikat Chakraborty, Rahul Krishna, Chakraborty, Saikat +5 · 33 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Vulnerability Detection with Code Language Models: How Far Are We?
2024/03/27 by Yangruibo Ding, Yanjun Fu, Ding, Yangruibo +15 · 57 citations
Computer Science · #Network Security and Intrusion Detection #Advanced Malware Detection Techniques #Web Application Security Vulnerabilities
- Unified Pre-training for Program Understanding and Generation
2021/03/10 by Wasi Uddin Ahmad, Saikat Chakraborty, Ahmad, Wasi Uddin +5 · 27 citations
Computer Science · #Advanced Malware Detection Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Guided Conditional Diffusion for Controllable Traffic Simulation
2022/10/31 by Ziyuan Zhong, Davis Rempe, Zhong, Ziyuan +13 · 24 citations
Engineering · Decision Sciences · #Traffic Prediction and Management Techniques #Traffic control and management #Simulation Techniques and Applications
- Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM
2024/01/31 by Gabriel Ryan, Ryan, Gabriel, Siddhartha Jain +11 · 23 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Software Engineering (cs.SE)
- Multi-lingual Evaluation of Code Generation Models
2022/10/26 by Ben Athiwaratkun, Sanjay Krishna Gouda, Athiwaratkun, Ben +47 · 16 citations
Computer Science · #Software Engineering Research #Topic Modeling #Machine Learning and Data Classification
- Language-Guided Traffic Simulation via Scene-Level Diffusion
2023/06/10 by Ziyuan Zhong, Zhong, Ziyuan, Davis Rempe +13 · 16 citations
Decision Sciences · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO) #Simulation Techniques and Applications #Traffic Prediction and Management Techniques #Traffic control and management
- A Transformer-based Approach for Source Code Summarization
2020/05/01 by Wasi Uddin Ahmad, Saikat Chakraborty, Ahmad, Wasi Uddin +5 · 11 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles
2022/08/02 by Ziyuan Zhong, Gail Kaiser, Gail E. Kaiser +1 · 10 citations
Computer Science · Decision Sciences · Engineering · #Autonomous Vehicle Technology and Safety #Simulation Techniques and Applications #Software Testing and Debugging Techniques
- Automatic Programming: Large Language Models and Beyond
2024/05/03 by Michael R. Lyu, Baishakhi Ray, Lyu, Michael R. +7 · 14 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Topic Modeling
- LeDex: Training LLMs to Better Self-Debug and Explain Code
2024/05/28 by Nan Jiang, Xiaopeng Li, Jiang, Nan +15 · 14 citations
Computer Science · Social Sciences · #Law, AI, and Intellectual Property #Artificial Intelligence in Law
- CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation
2025/01/14 by Jinjun Peng, Leyi Cui, Peng, Jinjun +7 · 19 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research
- Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles
2021/09/13 by Ziyuan Zhong, Zhong, Ziyuan, Gail E. Kaiser +3 · 8 citations
Computer Science · Engineering · #Software Testing and Debugging Techniques #Autonomous Vehicle Technology and Safety #Adversarial Robustness in Machine Learning
- CYCLE: Learning to Self-Refine the Code Generation
2024/03/27 by Yangruibo Ding, Ding, Yangruibo, Marcus J. Min +5 · 12 citations
Computer Science · #Model-Driven Software Engineering Techniques
- On the "Naturalness" of Buggy Code
2015/06/03 by Baishakhi Ray, Ray, Baishakhi, Vincent J. Hellendoorn +9 · 5 citations
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software Reliability and Analysis Research
- Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies
2024/06/10 by Junlin Wang, Wang, Junlin, Siddhartha Jain +9 · 13 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #Auction Theory and Applications #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Organizational Management and Leadership
- Metric Learning for Adversarial Robustness
2019/09/03 by Chengzhi Mao, Ziyuan Zhong, Mao, Chengzhi +7 · 13 citations
Computer Science · Biochemistry, Genetics and Molecular Biology · #Adversarial Robustness in Machine Learning #Bacillus and Francisella bacterial research
- Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
2020/12/16 by Kexin Pei, Pei, Kexin, Xuan Zhou +7 · 5 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research
- A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation
2021/12/02 by Ziyuan Zhong, Zhong, Ziyuan, Yun Tang +9 · 5 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Machine Learning (cs.LG) #Real-time simulation and control systems #Robotics (cs.RO) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
2025/01/24 by Vikram Nitin, Rahul Krishna, Nitin, Vikram +5 · 12 citations
Business, Management and Accounting · Engineering · #Design Education and Practice #FOS: Computer and information sciences #Product Development and Customization #Software Engineering (cs.SE)
- VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements
2021/12/20 by Yangruibo Ding, Ding, Yangruibo, Sahil Suneja +11 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research
- SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
2024/06/03 by Yangruibo Ding, Ding, Yangruibo, Jinjun Peng +9 · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
- Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
2021/09/14 by Ziyuan Zhong, Zhong, Ziyuan, Zhisheng Hu +9 · 3 citations
Decision Sciences · Engineering · #Advanced Statistical Process Monitoring #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Risk and Safety Analysis #Robotics (cs.RO) #Software Engineering (cs.SE)
- Automated Code Editing with Search-Generate-Modify
2023/06/10 by Changshu Liu, Liu, Changshu, Pelin Cetin +9 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages
2022/05/23 by Wasi Uddin Ahmad, Ahmad, Wasi Uddin, Saikat Chakraborty +5 · 3 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
- IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks
2022/09/29 by Neophytos Christou, Christou, Neophytos, Di Jin +7 · 3 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering Research #Web Application Security Vulnerabilities
- KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
2024/07/02 by Alex Mathai, Chenxi Huang, Mathai, Alex +11 · 5 citations
Computer Science · Engineering · #Software System Performance and Reliability #Advanced Data Processing Techniques
- Dynamic Benchmarking of Reasoning Capabilities in Code Large Language Models Under Data Contamination
2025/03/06 by Simin Chen, Chen, Simin, Pranav Pusarla +3 · 8 citations
Computer Science · #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling
- kAgent: An execution-guided crash resolution agent for the Linux kernel
2025/04/29 by Alex Mathai, Chenxi Huang, Mathai, Alex +19 · 1 voice · 2 citations
Computer Science · #Security and Verification in Computing #Software Engineering Research #Software System Performance and Reliability #cs.AI #cs.OS #cs.SE
- Automatic Programming: Large Language Models and Beyond
2025/05/24 by Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury +2 · 10 citations
- Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations
2020/05/23 by Vaggelis Atlidakis, Roxana Geambasu, Atlidakis, Vaggelis +7 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Advanced Malware Detection Techniques
- CONCORD: Clone-aware Contrastive Learning for Source Code
2023/06/05 by Yangruibo Ding, Ding, Yangruibo, Saikat Chakraborty +11 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability
- Code Quality Analysis of Translations from C to Rust
2026/01/31 by Biruk Tadesse, Vikram Nitin, Mazin Salah +3 · 2 voices
#cs.SE
- Evaluating How Developers Use General-Purpose Web-Search for Code\n Retrieval
2018/03/22 by Md. Masudur Rahman, Jed Barson, Rahman, Md Masudur +15 · 1 citation
Computer Science · #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Open Source Software Innovations #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices
- Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model
2018/02/20 by Saikat Chakraborty, Chakraborty, Saikat, Yujian Li +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- CAMEO: A Causal Transfer Learning Approach for Performance Optimization of Configurable Computer Systems
2023/06/13 by Md Shahriar Iqbal, Iqbal, Md Shahriar, Ziyuan Zhong +7 · 2 citations
Computer Science · #Age of Information Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Performance (cs.PF) #Software Engineering (cs.SE) #Software System Performance and Reliability #Systems and Control (eess.SY) #electronic engineering #information engineering
- Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study
2025/06/10 by Ira Ceka, Ceka, Ira, Mitchell, Hailie +11 · 5 citations
Computer Science · #Software Engineering Techniques and Practices #Software Engineering Research #Software Testing and Debugging Techniques
- ConEx: Efficient Exploration of Big-Data System Configurations for\n Better Performance
2019/10/17 by Rahul Krishna, Krishna, Rahul, Chong Tang +5 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Systems and Control (eess.SY) #electronic engineering #information engineering
- CodeFort: Robust Training for Code Generation Models
2024/04/11 by Yuhao Zhang, Zhang, Yuhao, Shiqi Wang +19 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- PropTest: Automatic Property Testing for Improved Visual Programming
2024/03/25 by Jaywon Koo, Koo, Jaywon, Ziyan Yang +8 · 1 voice · 1 citation
Computer Science · #Computer Graphics and Visualization Techniques #Interactive and Immersive Displays #Teaching and Learning Programming #cs.CV
- EditLord: Learning Code Transformation Rules for Code Editing
2025/03/10 by Weichen Li, Li, Weichen, Albert Jan +9 · 3 citations
#cs.SE #cs.CR #cs.LG
- CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning
2025/05/31 by Monoshi Kumar Roy, Roy, Monoshi Kumar, Simin Chen +11 · 2 citations
Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Engineering Techniques and Practices
- Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection
2024/12/16 by Ira Ceka, Ceka, Ira, Qiao, Feitong +6 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Security and Intrusion Detection #Software Engineering (cs.SE)
- UTFix: Change Aware Unit Test Repairing using LLM
2025/03/19 by Shanto Rahman, Rahman, Shanto, Sachit Kuhar +13 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
- TRIM: Reducing AI-Generated CodeSlop via Agent Trajectory Minimization
2026/07/20 by Alex Mathai, Shobini Iyer, Aleksandr Nogikh +4
#cs.SE #cs.AI #cs.OS