:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kaushik, Kartik, Halder, Raju, Mondal, Samrat
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Programming Languages
Accès en ligne:	https://arxiv.org/abs/2409.01804
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Strengthening Programming Comprehension in Large Language Models through Code Generation
par: Ren, Xiaoning, et autres
Publié: (2025)

Micro-Patterns in Solidity Code
par: Ruschioni, Luca, et autres
Publié: (2025)

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

SoliDiffy: AST Differencing for Solidity Smart Contracts
par: Eshghie, Mojtaba, et autres
Publié: (2024)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
par: Liu, Ruibang, et autres
Publié: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
par: Chen, Zhiyang, et autres
Publié: (2024)

GUPPY: Pythonic Quantum-Classical Programming
par: Koch, Mark, et autres
Publié: (2025)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
par: Jiang, Weipeng, et autres
Publié: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2024)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
par: Wang, Sally Junsong, et autres
Publié: (2024)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
par: Koch, Mark, et autres
Publié: (2025)

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

From a Natural to a Formal Language with DSL Assistant
par: Mosthaf, My M., et autres
Publié: (2024)

From Code to Career: Assessing Competitive Programmers for Industry Placement
par: Akib, Md Imranur Rahman, et autres
Publié: (2025)

Pareto Optimal Code Generation
par: Orlanski, Gabriel, et autres
Publié: (2025)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

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

Generalized Software Product Line Extraction
par: Bruzzone, Federico, et autres
Publié: (2026)

A New Generation of Intelligent Development Environments
par: Marron, Mark
Publié: (2024)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
par: Stinnett, J. Ryan, et autres
Publié: (2024)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
par: Chatterjee, Bodhisatwa, et autres
Publié: (2024)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
par: Cui, Baoquan, et autres
Publié: (2025)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
par: Kim, Seongmin, et autres
Publié: (2026)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
par: Bouras, Dimitrios Stamatios, et autres
Publié: (2026)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
par: Qiu, Ruidi, et autres
Publié: (2024)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
par: Dau, Anh T. V., et autres
Publié: (2026)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
par: Karapetyan, Daniel
Publié: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
par: Ates, Berke, et autres
Publié: (2026)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
par: Wang, Yuchen, et autres
Publié: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
par: Dau, Anh T. V., et autres
Publié: (2026)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
par: Shree, Iti, et autres
Publié: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
par: Cai, Jianfeng, et autres
Publié: (2026)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
par: Peng, Qiwei, et autres
Publié: (2024)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
par: Fayed, Mahmoud Samir
Publié: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
par: Xu, Ning, et autres
Publié: (2026)