Imagen de Portada

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kaushik, Kartik, Halder, Raju, Mondal, Samrat
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Strengthening Programming Comprehension in Large Language Models through Code Generation
por: Ren, Xiaoning, et al.
Publicado: (2025)

Micro-Patterns in Solidity Code
por: Ruschioni, Luca, et al.
Publicado: (2025)

SoliDiffy: AST Differencing for Solidity Smart Contracts
por: Eshghie, Mojtaba, et al.
Publicado: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
por: Chakraborty, Saikat, et al.
Publicado: (2023)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
por: Liu, Ruibang, et al.
Publicado: (2024)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
por: Jiang, Weipeng, et al.
Publicado: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
por: Chen, Zhiyang, et al.
Publicado: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
por: Chen, Zhiyang, et al.
Publicado: (2024)

GUPPY: Pythonic Quantum-Classical Programming
por: Koch, Mark, et al.
Publicado: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
por: Wang, Sally Junsong, et al.
Publicado: (2024)

From a Natural to a Formal Language with DSL Assistant
por: Mosthaf, My M., et al.
Publicado: (2024)

From Code to Career: Assessing Competitive Programmers for Industry Placement
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)

Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

Program Structure Aware Precondition Generation
por: Dinella, Elizabeth, et al.
Publicado: (2023)

Generalized Software Product Line Extraction
por: Bruzzone, Federico, et al.
Publicado: (2026)

A New Generation of Intelligent Development Environments
por: Marron, Mark
Publicado: (2024)

Automated Code Editing with Search-Generate-Modify
por: Liu, Changshu, et al.
Publicado: (2023)

ClassInvGen: Class Invariant Synthesis using Large Language Models
por: Sun, Chuyue, et al.
Publicado: (2025)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
por: Stinnett, J. Ryan, et al.
Publicado: (2024)

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
por: Koch, Mark, et al.
Publicado: (2025)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
por: Chatterjee, Bodhisatwa, et al.
Publicado: (2024)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
por: Cui, Baoquan, et al.
Publicado: (2025)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
por: Kim, Seongmin, et al.
Publicado: (2026)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
por: Qiu, Ruidi, et al.
Publicado: (2024)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
por: Dau, Anh T. V., et al.
Publicado: (2026)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
por: Karapetyan, Daniel
Publicado: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
por: Feng, Qiong, et al.
Publicado: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
por: Ates, Berke, et al.
Publicado: (2026)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
por: Bucev, Mario, et al.
Publicado: (2024)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
por: Dau, Anh T. V., et al.
Publicado: (2026)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
por: Shree, Iti, et al.
Publicado: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
por: Yu, Hao, et al.
Publicado: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
por: Cai, Jianfeng, et al.
Publicado: (2026)

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

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
por: Xu, Ning, et al.
Publicado: (2026)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
por: Wang, Yuchen, et al.
Publicado: (2025)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
por: Peng, Qiwei, et al.
Publicado: (2024)