:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Selabi, Elvis Konjoh, Murgia, Maurizio, Ravara, António, Tuosto, Emilio
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2604.20507
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TRAC: a tool for data-aware coordination (with an application to smart contracts)
by: Afonso, Joao, et al.
Published: (2024)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
by: Grabmayer, Clemens, et al.
Published: (2025)

JoinActors: A Modular Library for Actors with Join Patterns
by: Hussein, Ayman, et al.
Published: (2026)

Detecting Buggy Contracts via Smart Testing
by: Wang, Sally Junsong, et al.
Published: (2024)

Constructing Trustworthy Smart Contracts
by: Chait-Roth, Devora, et al.
Published: (2024)

Automatically Testing Functional Properties of Code Translation Models
by: Eniser, Hasan Ferit, et al.
Published: (2023)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

Smart Contract Languages: a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2024)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

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

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
by: Xu, Ziyun, et al.
Published: (2025)

Open-World Assertion Checking for Smart Contracts via Game Semantics
by: Koutavas, Vasileios, et al.
Published: (2025)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
by: Cho, Hyunhum, et al.
Published: (2026)

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

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)

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

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
by: Smaragdakis, Yannis, et al.
Published: (2025)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

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

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
by: Ball, Thomas, et al.
Published: (2024)

Foundational Verification of Smart Contracts through Verified Compilation
by: Sjöberg, Vilhelm, et al.
Published: (2024)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
by: Richter, Cedric, et al.
Published: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
by: Kong, Ziqiao, et al.
Published: (2025)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
by: Goel, Abhinav, et al.
Published: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

AutoMCQ -- Automatically Generate Code Comprehension Questions using GenAI
by: Goodfellow, Martin, et al.
Published: (2025)

Verification Modulo Tested Library Contracts
by: Uppar, Abhishek, et al.
Published: (2026)

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

Combining Neural Architecture Search and Automatic Code Optimization: A Survey
by: Bachiri, Inas, et al.
Published: (2024)

Constrained Code Generation with Discrete Diffusion
by: Shao, Lize, et al.
Published: (2026)

Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly
by: Trestioreanu, Lucian, et al.
Published: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
by: Pennino, Federico, et al.
Published: (2025)

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

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

Automatic Generation of Python Programs Using Context-Free Grammars
by: Yamani, Kamel, et al.
Published: (2024)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
by: Viennot, Jules, et al.
Published: (2025)

Type-Constrained Code Generation with Language Models
by: Mündler, Niels, et al.
Published: (2025)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
by: Rinard, Martin
Published: (2026)