Image de couverture de livre

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fakhoury, Sarah, Kuppe, Markus, Lahiri, Shuvendu K., Ramananandro, Tahina, Swamy, Nikhil
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
par: Rao, Nikitha, et autres
Publié: (2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
par: Fakhoury, Sarah, et autres
Publié: (2024)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
par: Endres, Madeline, et autres
Publié: (2023)

Ranking LLM-Generated Loop Invariants for Program Verification
par: Chakraborty, Saikat, et autres
Publié: (2023)

Program Structure Aware Precondition Generation
par: Dinella, Elizabeth, et autres
Publié: (2023)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
par: Lahiri, Shuvendu K.
Publié: (2026)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
par: Lahiri, Shuvendu K.
Publié: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
par: Sun, Chuyue, et autres
Publié: (2025)

LLM-Vectorizer: LLM-based Verified Loop Vectorizer
par: Taneja, Jubi, et autres
Publié: (2024)

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
par: Pimenova, Veronica, et autres
Publié: (2025)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
par: Ramananandro, Tahina, et autres
Publié: (2025)

Inferring Attributed Grammars from Parser Implementations
par: Pointner, Andreas, et autres
Publié: (2025)

VarParser: Unleashing the Neglected Power of Variables for LLM-based Log Parsing
par: Sun, Jinrui, et autres
Publié: (2026)

Large Language Models Based JSON Parser Fuzzing for Bug Discovery and Behavioral Analysis
par: Zhong, Zhiyuan, et autres
Publié: (2024)

ClassInvGen: Class Invariant Synthesis using Large Language Models
par: Sun, Chuyue, et autres
Publié: (2025)

Large Language Models for Validating Network Protocol Parsers
par: Zheng, Mingwei, et autres
Publié: (2025)

BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
par: Jiang, Ling, et autres
Publié: (2024)

Test Design and Review Argumentation in AI-Assisted Test Generation
par: Enoiu, Eduard Paul, et autres
Publié: (2026)

Automated Proof Generation for Rust Code via Self-Evolution
par: Chen, Tianyu, et autres
Publié: (2024)

Validating Network Protocol Parsers with Traceable RFC Document Interpretation
par: Zheng, Mingwei, et autres
Publié: (2025)

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
par: Blyth, Scott, et autres
Publié: (2025)

Saltzer & Schroeder for 2030: Security engineering principles in a world of AI
par: Patnaik, Nikhil, et autres
Publié: (2024)

Exploring Prompt Patterns in AI-Assisted Code Generation: Towards Faster and More Effective Developer-AI Collaboration
par: DiCuffa, Sophia, et autres
Publié: (2025)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
par: Jain, Rijul, et autres
Publié: (2025)

Understanding the AI-powered Binary Code Similarity Detection
par: Fu, Lirong, et autres
Publié: (2024)

LogParser-LLM: Advancing Efficient Log Parsing with Large Language Models
par: Zhong, Aoxiao, et autres
Publié: (2024)

Smart Casual Verification of the Confidential Consortium Framework
par: Howard, Heidi, et autres
Publié: (2024)

Comment Traps: How Defective Commented-out Code Augment Defects in AI-Assisted Code Generation
par: Huang, Yuan, et autres
Publié: (2025)

Statistical Confidence in Functional Correctness: An Approach for AI Product Functional Correctness Evaluation
par: Albertini, Wallace, et autres
Publié: (2026)

"An Endless Stream of AI Slop": The Growing Burden of AI-Assisted Software Development
par: Baltes, Sebastian, et autres
Publié: (2026)

Ten Simple Rules for AI-Assisted Coding in Science
par: Bridgeford, Eric W., et autres
Publié: (2025)

Creativity, Generative AI, and Software Development: A Research Agenda
par: Jackson, Victoria, et autres
Publié: (2024)

Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and Correction
par: Mondal, Saikat, et autres
Publié: (2025)

Plug it and Play on Logs: A Configuration-Free Statistic-Based Log Parser
par: Qin, Qiaolin, et autres
Publié: (2025)

Comprehension Debt in GenAI-Assisted Software Engineering Projects
par: Ahmad, Muhammad Ovais
Publié: (2026)

Ethics of Software Programming with Generative AI: Is Programming without Generative AI always radical?
par: Atemkeng, Marcellin, et autres
Publié: (2024)

Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models
par: Blyth, Scott, et autres
Publié: (2024)

From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law
par: Kesari, Aniket, et autres
Publié: (2025)