:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Selabi, Elvis Konjoh, Murgia, Maurizio, Ravara, António, Tuosto, Emilio
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2604.20507
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

Gradual Verification for Smart Contracts
di: Sun, Haojia, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Verification Modulo Tested Library Contracts
di: Uppar, Abhishek, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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