On the public citation graph

Synthesis-powered optimization of smart contracts via data type refactoring

https://doi.org/10.1145/3563308
0 signed · 53 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-030-35092-5_5openalex-snapshot
Running on Fumes
inferredcites →https://doi.org/10.1007/978-3-030-41600-3_7openalex-snapshot
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
inferredcites →https://doi.org/10.1007/978-3-030-45237-7_7openalex-snapshot
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-030-53288-8_10openalex-snapshot
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
inferredcites →https://doi.org/10.1007/978-3-030-65474-0_15openalex-snapshot
Exact and Linear-Time Gas-Cost Analysis
inferredcites →https://doi.org/10.1007/978-3-642-03013-0_19openalex-snapshot
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
inferredcites →https://doi.org/10.1007/s00778-012-0302-xopenalex-snapshot
Automating the database schema evolution process
inferredcites →https://doi.org/10.1016/b978-0-12-450010-5.50023-2openalex-snapshot
On the Equivalence of Data Representations
inferredcites →https://doi.org/10.1109/csf49147.2020.00016openalex-snapshot
Language-Based Web Session Integrity
inferredcites →https://doi.org/10.1109/icbc51069.2021.9461148openalex-snapshot
Making Smart Contracts Smarter
inferredcites →https://doi.org/10.1109/icse.2019.00117openalex-snapshot
Type Migration in Ultra-Large-Scale Codebases
inferredcites →https://doi.org/10.1109/saner.2017.7884650openalex-snapshot
Under-optimized smart contracts devour your money
inferredcites →https://doi.org/10.1109/sp40000.2020.00024openalex-snapshot
VerX: Safety Verification of Smart Contracts
inferredcites →https://doi.org/10.1145/1062455.1062512openalex-snapshot
CatchUp!
inferredcites →https://doi.org/10.1145/1094811.1094832openalex-snapshot
Refactoring support for class library migration
inferredcites →https://doi.org/10.1145/1368088.1368148openalex-snapshot
ReBA
inferredcites →https://doi.org/10.1145/1375581.1375599openalex-snapshot
Sketching concurrent data structures
inferredcites →https://doi.org/10.1145/1961204.1961205openalex-snapshot
Refactoring using type constraints
inferredcites →https://doi.org/10.1145/1993498.1993504openalex-snapshot
Data representation synthesis
inferredcites →https://doi.org/10.1145/2254064.2254114openalex-snapshot
Concurrent data representation synthesis
inferredcites →https://doi.org/10.1145/2676726.2677006openalex-snapshot
Fiat
inferredcites →https://doi.org/10.1145/2908080.2908122openalex-snapshot
Fast synthesis of fast collections
inferredcites →https://doi.org/10.1145/3133889openalex-snapshot
Natural synthesis of provably-correct data-structure manipulations
inferredcites →https://doi.org/10.1145/3180155.3180211openalex-snapshot
Generalized data structure synthesis
inferredcites →https://doi.org/10.1145/3183399.3183420openalex-snapshot
Towards saving money in using smart contracts
inferredcites →https://doi.org/10.1145/3192366.3192382openalex-snapshot
Program synthesis using conflict-driven learning
inferredcites →https://doi.org/10.1145/3238147.3238177openalex-snapshot
ContractFuzzer: fuzzing smart contracts for vulnerability detection
inferredcites →https://doi.org/10.1145/3314221.3314588openalex-snapshot
Synthesizing database programs for schema refactoring
inferredcites →https://doi.org/10.1145/3324884.3416626openalex-snapshot
Demystifying loops in smart contracts
inferredcites →https://doi.org/10.1145/3360611openalex-snapshot
Safer smart contract programming with Scilla
inferredcites →https://doi.org/10.1145/3385412.3385982openalex-snapshot
Securing smart contract with runtime validation
inferredcites →https://doi.org/10.1145/3428238openalex-snapshot
Deductive optimization of relational data storage
inferredcites →https://doi.org/10.1145/3453483.3454063openalex-snapshot
Synthesizing data structure refinements from integrity constraints
inferredcites →https://doi.org/10.1145/949305.949308openalex-snapshot
Refactoring for generalization using type constraints
inferredcites →https://doi.org/10.14722/ndss.2018.23082openalex-snapshot
ZEUS: Analyzing Safety of Smart Contracts
inferredcites →https://doi.org/10.14778/3384345.3384350openalex-snapshot
Data migration using datalog program synthesis
inferredcites →https://doi.org/10.3233/978-1-58603-929-5-131openalex-snapshot
Conflict-Driven Clause Learning SAT Solvers
inferredcites →https://doi.org/10.3233/faia201007openalex-snapshot
Chapter 23. MaxSAT, Hard and Soft Constraints
inferredcites →https://doi.org/10.3233/sat190075openalex-snapshot
The Sat4j library, release 2.2

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_3openalex-snapshot
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112284openalex-snapshot
Harnessing heap analysis for the synthesis of superoptimized bytecode
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00152openalex-snapshot
Synthesizing Document Database Queries Using Collection Abstractions
inferred← citeshttps://doi.org/10.1109/infoteh60418.2024.10496035openalex-snapshot
Code Optimization Strategies for Reducing Gas Costs in a Smart Contract Student Paper
inferred← citeshttps://doi.org/10.1109/telfor67910.2025.11314357openalex-snapshot
Recommended Steps for Developing Optimized and Secure Smart Contracts
inferred← citeshttps://doi.org/10.1109/tse.2023.3298609openalex-snapshot
BiAn: Smart Contract Source Code Obfuscation
inferred← citeshttps://doi.org/10.1109/tse.2024.3491578openalex-snapshot
Unearthing Gas-Wasting Code Smells in Smart Contracts With Large Language Models
inferred← citeshttps://doi.org/10.1109/tse.2025.3548730openalex-snapshot
SmartUpdater: Enabling Transparent, Automated, and Secure Maintenance of Stateful Smart Contracts
inferred← citeshttps://doi.org/10.1145/3632870openalex-snapshot
Semantic Code Refactoring for Abstract Data Types
inferred← citeshttps://doi.org/10.1145/3650212.3652146openalex-snapshot
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
inferred← citeshttps://doi.org/10.1145/3650212.3685312openalex-snapshot
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
inferred← citeshttps://doi.org/10.1145/3656435openalex-snapshot
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
inferred← citeshttps://doi.org/10.1145/3689711openalex-snapshot
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
inferred← citeshttps://doi.org/10.1145/3729319openalex-snapshot
Graphiti: Bridging Graph and Relational Database Queries
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.