On the public citation graph

Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts

https://doi.org/10.1145/3622829
0 signed · 55 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-01090-4_30openalex-snapshot
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
inferredcites →https://doi.org/10.1007/978-3-030-02768-1_11openalex-snapshot
New Approaches for Almost-Sure Termination of Probabilistic Programs
inferredcites →https://doi.org/10.1007/978-3-030-03427-6_33openalex-snapshot
Computing Exact Worst-Case Gas Consumption for Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-030-65474-0_1openalex-snapshot
Static Resource Analysis at Scale (Extended Abstract)
inferredcites →https://doi.org/10.1007/978-3-030-90870-6_33openalex-snapshot
On Lexicographic Proof Rules for Probabilistic Termination
inferredcites →https://doi.org/10.1007/978-3-031-13185-1_4openalex-snapshot
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
inferredcites →https://doi.org/10.1007/978-3-031-37709-9_2openalex-snapshot
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
inferredcites →https://doi.org/10.1007/978-3-319-41528-4_1openalex-snapshot
Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
inferredcites →https://doi.org/10.1007/978-3-319-63390-9_3openalex-snapshot
Non-polynomial Worst-Case Analysis of Recursive Programs
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_20openalex-snapshot
A Complete Method for the Synthesis of Linear Ranking Functions
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_7openalex-snapshot
Constraint-Based Linear-Relations Analysis
inferredcites →https://doi.org/10.1007/978-3-540-45069-6_39openalex-snapshot
Linear Invariant Generation Using Non-linear Constraint Solving
inferredcites →https://doi.org/10.1007/978-3-642-36742-7_7openalex-snapshot
The MathSAT5 SMT Solver
inferredcites →https://doi.org/10.1007/978-3-662-54455-6_8openalex-snapshot
A Survey of Attacks on Ethereum Smart Contracts (SoK)
inferredcites →https://doi.org/10.1007/978-981-15-2777-7_41openalex-snapshot
Understanding Out of Gas Exceptions on Ethereum
inferredcites →https://doi.org/10.1016/j.entcs.2009.12.008openalex-snapshot
Termination and Cost Analysis with COSTA and its User Interfaces
inferredcites →https://doi.org/10.1016/j.jss.2021.110923openalex-snapshot
Don’t run on fumes—Parametric gas bounds for smart contracts
inferredcites →https://doi.org/10.1016/s0898-1221(03)80133-5openalex-snapshot
Fundamentals of matrix computations
inferredcites →https://doi.org/10.1109/access.2020.2970495openalex-snapshot
Smart Contract: Attacks and Protections
inferredcites →https://doi.org/10.1109/ntms.2019.8763848openalex-snapshot
Evaluating Spread of ‘Gasless Send’ in Ethereum Smart Contracts
inferredcites →https://doi.org/10.1109/tetc.2020.2979019openalex-snapshot
GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts
inferredcites →https://doi.org/10.1137/1.9781611972290openalex-snapshot
Semidefinite Optimization and Convex Algebraic Geometry
inferredcites →https://doi.org/10.1145/1347375.1347389openalex-snapshot
The worst-case execution-time problem—overview of methods and survey of tools
inferredcites →https://doi.org/10.1145/2362389.2362393openalex-snapshot
Multivariate amortized resource analysis
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
inferredcites →https://doi.org/10.1145/3093333.3009842openalex-snapshot
Towards automatic resource bound analysis for OCaml
inferredcites →https://doi.org/10.1145/3093333.3009858openalex-snapshot
Relational cost analysis
inferredcites →https://doi.org/10.1145/3093333.3009873openalex-snapshot
Stochastic invariants for probabilistic termination
inferredcites →https://doi.org/10.1145/3274694.3274743openalex-snapshot
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
inferredcites →https://doi.org/10.1145/3360555openalex-snapshot
Modular verification for almost-sure termination of probabilistic programs
inferredcites →https://doi.org/10.1145/3360611openalex-snapshot
Safer smart contract programming with Scilla
inferredcites →https://doi.org/10.1145/3377811.3380334openalex-snapshot
sFuzz
inferredcites →https://doi.org/10.1145/3410310openalex-snapshot
Replication Package for Article: Quantitative Analysis of Assertion Violations in Probabilistic Programs
inferredcites →https://doi.org/10.1145/3563295openalex-snapshot
Scalable linear invariant generation with Farkas’ lemma
inferredcites →https://doi.org/10.1512/iumj.1993.42.42045openalex-snapshot
inferredcites →https://doi.org/10.2140/pjm.1988.132.35openalex-snapshot
Representing polynomials by positive linear functions on compact convex polyhedra
inferredcites →https://doi.org/10.48550/arxiv.2108.02188openalex-snapshot
On Lexicographic Proof Rules for Probabilistic Termination
inferredcites →https://doi.org/10.48550/arxiv.2305.15104openalex-snapshot
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
inferredcites →https://doi.org/10.5281/zenodo.8202372openalex-snapshot
Artifact-Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts

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-71162-6_31openalex-snapshot
Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_6openalex-snapshot
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-87054-5_1openalex-snapshot
Improved Gas Optimization of Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_1openalex-snapshot
Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences
inferred← citeshttps://doi.org/10.1016/j.jnca.2025.104142openalex-snapshot
A Comprehensive Survey of Smart Contracts Vulnerability Detection Tools: Techniques and Methodologies
inferred← citeshttps://doi.org/10.1109/acit62805.2024.10877189openalex-snapshot
Smart Contract Security Vulnerability Through The NIST Cybersecurity Framework 2.0 Perspective
inferred← citeshttps://doi.org/10.1109/bcca58897.2023.10338880openalex-snapshot
Secure and Decentralized Generation of Secret Random Numbers on the Blockchain
inferred← citeshttps://doi.org/10.1109/icbc59979.2024.10634352openalex-snapshot
Congesting Ethereum after EIP-1559
inferred← citeshttps://doi.org/10.1109/icbc59979.2024.10634373openalex-snapshot
Gas-Efficient Decentralized Random Beacons
inferred← citeshttps://doi.org/10.1109/icbc59979.2024.10634454openalex-snapshot
SRNG: An Efficient Decentralized Approach for Secret Random Number Generation
inferred← citeshttps://doi.org/10.1109/icbc64466.2025.11114573openalex-snapshot
Fortuna: A Game-theoretic Protocol to Generate Secret Randomness on the Blockchain
inferred← citeshttps://doi.org/10.1109/tnse.2025.3583926openalex-snapshot
ContractScanner: Detecting and Localizing Vulnerabilities of Smart Contracts via Graph-Based Semantic Modeling of Source Code
inferred← citeshttps://doi.org/10.1145/3650212.3680352openalex-snapshot
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
inferred← citeshttps://doi.org/10.1145/3797123openalex-snapshot
SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts
inferred← citeshttps://doi.org/10.1145/3840292openalex-snapshot
Tetris for Gas: State Variable Mutation for Reducing Smart Contract Deployment Costs
inferred← citeshttps://doi.org/10.29007/njphopenalex-snapshot
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers
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.