Micro-Patterns in Solidity Code
Fuente:
arXiv
Guardado en:
| Autores principales: | Ruschioni, Luca, Shuttleworth, Robert, Neykova, Rumyana, Re, Barbara, Destefanis, Giuseppe |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Introducing Repository Stability
por: Destefanis, Giuseppe, et al.
Publicado: (2025)
por: Destefanis, Giuseppe, et al.
Publicado: (2025)
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
por: Aufiero, Sabrina, et al.
Publicado: (2024)
por: Aufiero, Sabrina, et al.
Publicado: (2024)
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study
por: Vaccargiu, Matteo, et al.
Publicado: (2025)
por: Vaccargiu, Matteo, et al.
Publicado: (2025)
Neural Code Translation of Legacy Code: APL to C#
por: Ramadan, Abdulrahman, et al.
Publicado: (2026)
por: Ramadan, Abdulrahman, et al.
Publicado: (2026)
SoliDiffy: AST Differencing for Solidity Smart Contracts
por: Eshghie, Mojtaba, et al.
Publicado: (2024)
por: Eshghie, Mojtaba, et al.
Publicado: (2024)
Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
por: Kaushik, Kartik, et al.
Publicado: (2024)
por: Kaushik, Kartik, et al.
Publicado: (2024)
Pattern-Based Peephole Optimizations with Java JIT Tests
por: Zang, Zhiqiang, et al.
Publicado: (2024)
por: Zang, Zhiqiang, et al.
Publicado: (2024)
Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)
por: Orlanski, Gabriel, et al.
Publicado: (2025)
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)
por: Xie, Xiaoheng, et al.
Publicado: (2024)
Automated Code Editing with Search-Generate-Modify
por: Liu, Changshu, et al.
Publicado: (2023)
por: Liu, Changshu, et al.
Publicado: (2023)
Validated Code Translation for Projects with External Libraries
por: Zhang, Hanliang, et al.
Publicado: (2026)
por: Zhang, Hanliang, et al.
Publicado: (2026)
A Trace-based Approach for Code Safety Analysis
por: Xu, Hui
Publicado: (2025)
por: Xu, Hui
Publicado: (2025)
Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)
por: Limpanukorn, Ben, et al.
Publicado: (2025)
On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)
por: Sihler, Florian, et al.
Publicado: (2024)
Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)
por: Wang, Wenhan, et al.
Publicado: (2024)
Advancing Automated In-Isolation Validation in Repository-Level Code Translation
por: Ke, Kaiyao, et al.
Publicado: (2025)
por: Ke, Kaiyao, et al.
Publicado: (2025)
Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, et al.
Publicado: (2025)
por: Svoboda, David, et al.
Publicado: (2025)
From Code to Career: Assessing Competitive Programmers for Industry Placement
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)
Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
por: Ravikumar, Shruthi, et al.
Publicado: (2024)
por: Ravikumar, Shruthi, et al.
Publicado: (2024)
A Unified Framework for Automated Code Transformation and Pragma Insertion
por: Pouget, Stéphane, et al.
Publicado: (2024)
por: Pouget, Stéphane, et al.
Publicado: (2024)
Compilation of Commit Changes within Java Source Code Repositories
por: Schott, Stefan, et al.
Publicado: (2024)
por: Schott, Stefan, et al.
Publicado: (2024)
Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
por: Rao, Zihao, et al.
Publicado: (2024)
por: Rao, Zihao, et al.
Publicado: (2024)
The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
por: Saravanos, Antonios, et al.
Publicado: (2026)
por: Saravanos, Antonios, et al.
Publicado: (2026)
RacerF: Lightweight Static Data Race Detection for C Code
por: Dacík, Tomáš, et al.
Publicado: (2025)
por: Dacík, Tomáš, et al.
Publicado: (2025)
Strengthening Programming Comprehension in Large Language Models through Code Generation
por: Ren, Xiaoning, et al.
Publicado: (2025)
por: Ren, Xiaoning, et al.
Publicado: (2025)
Generalized Software Product Line Extraction
por: Bruzzone, Federico, et al.
Publicado: (2026)
por: Bruzzone, Federico, et al.
Publicado: (2026)
Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
por: Heinze, Thomas S.
Publicado: (2026)
por: Heinze, Thomas S.
Publicado: (2026)
Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)
PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
por: Jing, Huihao, et al.
Publicado: (2026)
por: Jing, Huihao, et al.
Publicado: (2026)
LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
por: Liu, Yuchen, et al.
Publicado: (2025)
por: Liu, Yuchen, et al.
Publicado: (2025)
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
por: Feng, Qiong, et al.
Publicado: (2025)
por: Feng, Qiong, et al.
Publicado: (2025)
COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
por: Dau, Anh T. V., et al.
Publicado: (2026)
por: Dau, Anh T. V., et al.
Publicado: (2026)
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
por: Amilon, Jesper, et al.
Publicado: (2026)
por: Amilon, Jesper, et al.
Publicado: (2026)
CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
por: Li, Hebi, et al.
Publicado: (2023)
por: Li, Hebi, et al.
Publicado: (2023)
Scalable, Validated Code Translation of Entire Projects using Large Language Models
por: Zhang, Hanliang, et al.
Publicado: (2024)
por: Zhang, Hanliang, et al.
Publicado: (2024)
Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
por: Antal, Gábor, et al.
Publicado: (2024)
por: Antal, Gábor, et al.
Publicado: (2024)
Insights from the Usage of the Ansible Lightspeed Code Completion Service
por: Sahoo, Priyam, et al.
Publicado: (2024)
por: Sahoo, Priyam, et al.
Publicado: (2024)
The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)
por: Liu, Peipei, et al.
Publicado: (2025)
How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks
por: Rojpaisarnkit, Ruksit, et al.
Publicado: (2025)
por: Rojpaisarnkit, Ruksit, et al.
Publicado: (2025)
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
por: Wu, Guanxuan, et al.
Publicado: (2024)
por: Wu, Guanxuan, et al.
Publicado: (2024)
Ejemplares similares
-
Introducing Repository Stability
por: Destefanis, Giuseppe, et al.
Publicado: (2025) -
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
por: Aufiero, Sabrina, et al.
Publicado: (2024) -
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study
por: Vaccargiu, Matteo, et al.
Publicado: (2025) -
Neural Code Translation of Legacy Code: APL to C#
por: Ramadan, Abdulrahman, et al.
Publicado: (2026) -
SoliDiffy: AST Differencing for Solidity Smart Contracts
por: Eshghie, Mojtaba, et al.
Publicado: (2024)