Saved in:
| Main Authors: | Selabi, Elvis Konjoh, Murgia, Maurizio, Ravara, António, Tuosto, Emilio |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| 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)
by: Afonso, Joao, et al.
Published: (2024)
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
by: Grabmayer, Clemens, et al.
Published: (2025)
by: Grabmayer, Clemens, et al.
Published: (2025)
JoinActors: A Modular Library for Actors with Join Patterns
by: Hussein, Ayman, et al.
Published: (2026)
by: Hussein, Ayman, et al.
Published: (2026)
Detecting Buggy Contracts via Smart Testing
by: Wang, Sally Junsong, et al.
Published: (2024)
by: Wang, Sally Junsong, et al.
Published: (2024)
Constructing Trustworthy Smart Contracts
by: Chait-Roth, Devora, et al.
Published: (2024)
by: Chait-Roth, Devora, et al.
Published: (2024)
Automatically Testing Functional Properties of Code Translation Models
by: Eniser, Hasan Ferit, et al.
Published: (2023)
by: Eniser, Hasan Ferit, et al.
Published: (2023)
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)
by: Parrinha, Francisco, et al.
Published: (2026)
Smart Contract Languages: a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2024)
by: Bartoletti, Massimo, et al.
Published: (2024)
Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)
by: Sun, Haojia, et al.
Published: (2023)
SmartInv: Multimodal Learning for Smart Contract Invariant Inference
by: Wang, Sally Junsong, et al.
Published: (2024)
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)
by: Xu, Ziyun, et al.
Published: (2025)
Open-World Assertion Checking for Smart Contracts via Game Semantics
by: Koutavas, Vasileios, et al.
Published: (2025)
by: Koutavas, Vasileios, et al.
Published: (2025)
Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)
by: Sun, Wenhao, et al.
Published: (2025)
Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
by: Cho, Hyunhum, et al.
Published: (2026)
by: Cho, Hyunhum, et al.
Published: (2026)
SoliDiffy: AST Differencing for Solidity Smart Contracts
by: Eshghie, Mojtaba, et al.
Published: (2024)
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)
by: Lybech, Stian, et al.
Published: (2025)
Demystifying Invariant Effectiveness for Securing Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2024)
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)
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)
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)
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)
by: Ball, Thomas, et al.
Published: (2024)
Foundational Verification of Smart Contracts through Verified Compilation
by: Sjöberg, Vilhelm, et al.
Published: (2024)
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)
by: Richter, Cedric, et al.
Published: (2025)
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
by: Kong, Ziqiao, et al.
Published: (2025)
by: Kong, Ziqiao, et al.
Published: (2025)
Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)
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)
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)
by: Amilon, Jesper, et al.
Published: (2026)
AutoMCQ -- Automatically Generate Code Comprehension Questions using GenAI
by: Goodfellow, Martin, et al.
Published: (2025)
by: Goodfellow, Martin, et al.
Published: (2025)
Verification Modulo Tested Library Contracts
by: Uppar, Abhishek, et al.
Published: (2026)
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)
by: Feng, Qiong, et al.
Published: (2025)
Combining Neural Architecture Search and Automatic Code Optimization: A Survey
by: Bachiri, Inas, et al.
Published: (2024)
by: Bachiri, Inas, et al.
Published: (2024)
Constrained Code Generation with Discrete Diffusion
by: Shao, Lize, et al.
Published: (2026)
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)
by: Trestioreanu, Lucian, et al.
Published: (2025)
From Reasoning to Code: GRPO Optimization for Underrepresented Languages
by: Pennino, Federico, et al.
Published: (2025)
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)
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)
by: Nezhad, Sina Bagheri, et al.
Published: (2025)
Automatic Generation of Python Programs Using Context-Free Grammars
by: Yamani, Kamel, et al.
Published: (2024)
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)
by: Viennot, Jules, et al.
Published: (2025)
Type-Constrained Code Generation with Language Models
by: Mündler, Niels, et al.
Published: (2025)
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)
by: Rinard, Martin
Published: (2026)
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)