{"total":24,"rows":[{"id":"2312.02003","title":"A Survey on Large Language Model (LLM) Security and Privacy: The Good, the Bad, and the Ugly","created":"2023-12-04","cited_by_count":387,"area":null},{"id":"2311.07989","title":"Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Code","created":"2023-11-14","cited_by_count":62,"area":null},{"id":"2405.17503","title":"Code Repair with LLMs gives an Exploration-Exploitation Tradeoff","created":"2024-05-26","cited_by_count":51,"area":null},{"id":"2409.13082","title":"AutoVerus: Automated Proof Generation for Rust Code","created":"2024-09-19","cited_by_count":49,"area":null},{"id":"2503.09002","title":"KNighter: Transforming Static Analysis with LLM-Synthesized Checkers","created":"2025-03-12","cited_by_count":24,"area":null},{"id":"2401.00563","title":"KernelGPT: Enhanced Kernel Fuzzing via Large Language Models","created":"2023-12-31","cited_by_count":17,"area":null},{"id":"2406.07714","title":"LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing","created":"2024-06-11","cited_by_count":14,"area":null},{"id":"2502.18917","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","created":"2025-02-26","cited_by_count":11,"area":null},{"id":"2404.16297","title":"When Fuzzing Meets LLMs: Challenges and Opportunities","created":"2024-04-25","cited_by_count":8,"area":null},{"id":"2508.00408","title":"Benchmarking LLMs for Unit Test Generation from Real-World Functions","created":"2025-08-01","cited_by_count":8,"area":null},{"id":"2504.18050","title":"Validating Network Protocol Parsers with Traceable RFC Document Interpretation","created":"2025-04-25","cited_by_count":7,"area":null},{"id":"2511.03995","title":"Hybrid Fuzzing with LLM-Guided Input Mutation and Semantic Feedback","created":"2025-11-06","cited_by_count":7,"area":null},{"id":"2406.07944","title":"Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries","created":"2024-06-12","cited_by_count":5,"area":null},{"id":"2504.13515","title":"Large Language Models for Validating Network Protocol Parsers","created":"2025-04-18","cited_by_count":5,"area":null},{"id":"2402.00350","title":"On the Challenges of Fuzzing Techniques via Large Language Models","created":"2024-02-01","cited_by_count":4,"area":null},{"id":"2404.09384","title":"Generative transformations and patterns in LLM-native approaches for software verification and falsification","created":"2024-04-14","cited_by_count":2,"area":null},{"id":"2607.02345","title":"SkillFuzz: Fuzzing Skill Composition for Implicit Intents Discovery in Open Skill Marketplaces","created":"2026-07-02","cited_by_count":2,"area":null},{"id":"2505.01892","title":"DiTOX: Fault Detection and Localization in the ONNX Optimizer","created":"2025-05-03","cited_by_count":1,"area":null},{"id":"2603.21530","title":"LLM-Based Test Case Generation in DBMS through Monte Carlo Tree Search","created":"2026-03-23","cited_by_count":1,"area":null},{"id":"2507.13629","title":"Large Language Models in Cybersecurity: Applications, Vulnerabilities, and Defense Techniques","created":"2025-07-18","cited_by_count":0,"area":null},{"id":"2510.10179","title":"LLMs are All You Need? Improving Fuzz Testing for MOJO with Large Language Models","created":"2025-10-11","cited_by_count":0,"area":null},{"id":"2511.04132","title":"Exploring the Feasibility of End-to-End Large Language Model as a Compiler","created":"2025-11-06","cited_by_count":0,"area":null},{"id":"2601.02045","title":"The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers","created":"2026-01-05","cited_by_count":0,"area":null},{"id":"2607.02370","title":"Understanding Agent-Based Patching of Compiler Missed Optimizations","created":"2026-07-02","cited_by_count":0,"area":null}],"next_cursor":null}