On the public citation graph
Safer smart contract programming with Scilla
0 signed · 151 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/3-540-06859-7_148openalex-snapshot
Towards a theory of type structure
inferredcites →https://doi.org/10.1007/3-540-61580-6_22openalex-snapshot
ML pattern match compilation and partial evaluation
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-540-69166-2_15openalex-snapshot
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
inferredcites →https://doi.org/10.1007/978-3-642-37036-6_3openalex-snapshot
Pretty-Big-Step Semantics
inferredcites →https://doi.org/10.1007/978-3-662-49498-1_23openalex-snapshot
Functional Big-Step Semantics
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.1016/0141-9331(87)90510-2openalex-snapshot
The implementation of functional programming languages
inferredcites →https://doi.org/10.1017/cbo9780511804175openalex-snapshot
Concepts in Programming Languages
inferredcites →https://doi.org/10.1017/cbo9781139342131openalex-snapshot
Practical Foundations for Programming Languages
inferredcites →https://doi.org/10.1017/s0956796819000042openalex-snapshot
Folding left and right over Peano numbers
inferredcites →https://doi.org/10.1017/s0960129500001535openalex-snapshot
Representing Control: a Study of the CPS Transformation
inferredcites →https://doi.org/10.1023/a:1010027404223openalex-snapshot
Definitional Interpreters for Higher-Order Programming Languages
inferredcites →https://doi.org/10.1109/icse-c.2017.150openalex-snapshot
Obsidian: A Safer Blockchain Programming Language
inferredcites →https://doi.org/10.1109/saner.2017.7884650openalex-snapshot
Under-optimized smart contracts devour your money
inferredcites →https://doi.org/10.1145/1291220.1291161openalex-snapshot
On Barron and Strachey's cartesian product function
inferredcites →https://doi.org/10.1145/155090.155113openalex-snapshot
The essence of compiling with continuations
inferredcites →https://doi.org/10.1145/173262.155113openalex-snapshot
The essence of compiling with continuations
inferredcites →https://doi.org/10.1145/1985793.1985889openalex-snapshot
Building and using pluggable type-checkers
inferredcites →https://doi.org/10.1145/199448.199528openalex-snapshot
Monad transformers and modular interpreters
inferredcites →https://doi.org/10.1145/2491956.2491979openalex-snapshot
Monadic abstract interpreters
inferredcites →https://doi.org/10.1145/2499370.2491979openalex-snapshot
Monadic abstract interpreters
inferredcites →https://doi.org/10.1145/2535838.2535861openalex-snapshot
Modular, higher-order cardinality analysis in theory and practice
inferredcites →https://doi.org/10.1145/263699.263761openalex-snapshot
Relational parametricity and units of measure
inferredcites →https://doi.org/10.1145/263699.263765openalex-snapshot
First-class polymorphism with type inference
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
inferredcites →https://doi.org/10.1145/2993600.2993611openalex-snapshot
Formal Verification of Smart Contracts
inferredcites →https://doi.org/10.1145/3009837.3009842openalex-snapshot
Towards automatic resource bound analysis for OCaml
inferredcites →https://doi.org/10.1145/3009837.3009866openalex-snapshot
Type soundness proofs with definitional interpreters
inferredcites →https://doi.org/10.1145/3093333.3009842openalex-snapshot
Towards automatic resource bound analysis for OCaml
inferredcites →https://doi.org/10.1145/3093333.3009866openalex-snapshot
Type soundness proofs with definitional interpreters
inferredcites →https://doi.org/10.1145/3167084openalex-snapshot
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
inferredcites →https://doi.org/10.1145/3176245.3167084openalex-snapshot
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
inferredcites →https://doi.org/10.1145/3176245.3167086openalex-snapshot
Mechanising blockchain consensus
inferredcites →https://doi.org/10.1145/3191697.3213790openalex-snapshot
Writing safe smart contracts in Flint
inferredcites →https://doi.org/10.1145/3274694.3274743openalex-snapshot
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
inferredcites →https://doi.org/10.1145/3276486openalex-snapshot
MadMax: surviving out-of-gas conditions in Ethereum smart contracts
inferredcites →https://doi.org/10.1145/3293882.3330560openalex-snapshot
Exploiting the laws of order in smart contracts
inferredcites →https://doi.org/10.1145/3788687openalex-snapshot
An Introduction to Input/Output Automata
inferredcites →https://doi.org/10.1145/944705.944714openalex-snapshot
Global abstraction-safe marshalling with hash types
inferredcites →https://doi.org/10.1145/944746.944714openalex-snapshot
Global abstraction-safe marshalling with hash types
inferredcites →https://doi.org/10.14722/ndss.2018.23082openalex-snapshot
ZEUS: Analyzing Safety of Smart Contracts
inferredcites →https://doi.org/10.48550/arxiv.1711.03936openalex-snapshot
Consensus in the Age of Blockchains
inferredcites →https://doi.org/10.48550/arxiv.1801.00687openalex-snapshot
Scilla: a Smart Contract Intermediate-Level LAnguage
inferredcites →https://doi.org/10.5860/choice.40-4649openalex-snapshot
Concepts in programming languages
inferredcites →https://doi.org/10.60882/cispa.24612708openalex-snapshot
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
inferredcites →https://doi.org/10.7146/brics.v14i14.21934openalex-snapshot
On Barron and Strachey's Cartesian Product Function
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/ett.5037openalex-snapshot
An extensive multivocal literature review of blockchain technology: Evolution, challenges, platforms, security, and interoperability
inferred← citeshttps://doi.org/10.1002/spe.3156openalex-snapshot
Detecting functional and security‐related issues in smart contracts: A systematic literature review
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_21openalex-snapshot
Holistic Specifications for Robust Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_7openalex-snapshot
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_10openalex-snapshot
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
inferred← citeshttps://doi.org/10.1007/978-3-030-54455-3_41openalex-snapshot
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain
inferred← citeshttps://doi.org/10.1007/978-3-030-54994-7_28openalex-snapshot
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-61467-6_5openalex-snapshot
Making Tezos Smart Contracts More Reliable with Coq
inferred← citeshttps://doi.org/10.1007/978-3-030-61467-6_7openalex-snapshot
Native Custom Tokens in the Extended UTXO Model
inferred← citeshttps://doi.org/10.1007/978-3-030-64437-6_3openalex-snapshot
Formal Verification of Atomicity Requirements for Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-65474-0_15openalex-snapshot
Exact and Linear-Time Gas-Cost Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-91265-9_4openalex-snapshot
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-01807-7_3openalex-snapshot
The Next 700 Smart Contract Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-20872-0_12openalex-snapshot
Liquidity Analysis in Resource-Aware Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_9openalex-snapshot
The Session Abstract Machine
inferred← citeshttps://doi.org/10.1007/978-3-031-69231-4_11openalex-snapshot
Message-Passing in the Extended UTxO Ledger
inferred← citeshttps://doi.org/10.1007/978-3-031-72821-1_3openalex-snapshot
Addressing Current and Emerging Challenges in DF: An Examination and Recommendations
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_6openalex-snapshot
A Formal Modeling Language for Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-82703-7_11openalex-snapshot
Constructing Trustworthy Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-662-64322-8_5openalex-snapshot
A Formal Model of Algorand Smart Contracts
inferred← citeshttps://doi.org/10.1007/s10586-022-03688-yopenalex-snapshot
On the use of generic types for smart contracts
inferred← citeshttps://doi.org/10.1007/s11042-023-14944-7openalex-snapshot
Hybrid Blockchain-based Academic Credential Verification System (B-ACVS)
inferred← citeshttps://doi.org/10.1007/s12083-021-01127-0openalex-snapshot
Blockchain smart contracts: Applications, challenges, and future trends
inferred← citeshttps://doi.org/10.1007/s12083-021-01268-2openalex-snapshot
A survey on security in consensus and smart contracts
inferred← citeshttps://doi.org/10.1016/j.ins.2020.07.032openalex-snapshot
Fair hierarchical secret sharing scheme based on smart contract
inferred← citeshttps://doi.org/10.1016/j.jlamp.2023.100889openalex-snapshot
Liquidity Analysis in Resource-Aware Programming
inferred← citeshttps://doi.org/10.1016/j.jss.2026.112788openalex-snapshot
Smart contract vulnerabilities, tools, and benchmarks: An updated systematic literature review
inferred← citeshttps://doi.org/10.1016/j.patter.2020.100179openalex-snapshot
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
inferred← citeshttps://doi.org/10.1017/s0956796822000077openalex-snapshot
Extracting functional programs from Coq, in Coq
inferred← citeshttps://doi.org/10.1108/978-1-83797-777-220241005openalex-snapshot
Technology Trends and Challenges of Blockchain-enabled Smart Contracts in Liner Shipping Industry
inferred← citeshttps://doi.org/10.1109/access.2022.3202550openalex-snapshot
Standardizing Smart Contracts
inferred← citeshttps://doi.org/10.1109/access.2025.3527158openalex-snapshot
Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/aibthings58340.2023.10292478openalex-snapshot
A model of Solidity-style smart contracts in the theorem prover Agda
inferred← citeshttps://doi.org/10.1109/aie57029.2022.00130openalex-snapshot
Research on smart contract technology based on block chain
inferred← citeshttps://doi.org/10.1109/bcca53669.2021.9657048openalex-snapshot
Power and Pitfalls of Generic Smart Contracts
inferred← citeshttps://doi.org/10.1109/blockchain53845.2021.00076openalex-snapshot
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison
inferred← citeshttps://doi.org/10.1109/cict56698.2022.9997939openalex-snapshot
Ethereum Based Smart Contract for Event Management System
inferred← citeshttps://doi.org/10.1109/comst.2020.3033665openalex-snapshot
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
inferred← citeshttps://doi.org/10.1109/comst.2022.3222403openalex-snapshot
Integration of Blockchain and Auction Models: A Survey, Some Applications, and Challenges
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00004openalex-snapshot
Resource-Aware Session Types for Digital Contracts
inferred← citeshttps://doi.org/10.1109/eurosp60621.2024.00021openalex-snapshot
Secure compilation of rich smart contracts on poor UTXO blockchains
inferred← citeshttps://doi.org/10.1109/mdm58254.2023.00057openalex-snapshot
The Specification of Blockchain Oracle System
inferred← citeshttps://doi.org/10.1109/secdev45635.2020.00026openalex-snapshot
Analysis of Blockchain Smart Contracts: Techniques and Insights
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00084openalex-snapshot
Compositional Security for Reentrant Applications
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00085openalex-snapshot
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
inferred← citeshttps://doi.org/10.1109/tpds.2022.3177405openalex-snapshot
SmartVM: A Smart Contract Virtual Machine for Fast On-Chain DNN Computations
inferred← citeshttps://doi.org/10.1109/tpsisa52974.2021.00006openalex-snapshot
Fides: Distributed Cyber-Physical Contracts
inferred← citeshttps://doi.org/10.1145/3372885.3373829openalex-snapshot
ConCert: a smart contract certification framework in Coq
inferred← citeshttps://doi.org/10.1145/3385412.3385982openalex-snapshot
Securing smart contract with runtime validation
inferred← citeshttps://doi.org/10.1145/3411506.3417600openalex-snapshot
Short Paper: Blockcheck the Typechain
inferred← citeshttps://doi.org/10.1145/3426430.3428131openalex-snapshot
Psamathe: a DSL for safe blockchain assets
inferred← citeshttps://doi.org/10.1145/3428200openalex-snapshot
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian
inferred← citeshttps://doi.org/10.1145/3437992.3439934openalex-snapshot
Extracting smart contracts tested and verified in Coq
inferred← citeshttps://doi.org/10.1145/3453475openalex-snapshot
Legally Enforceable Smart-Contract Languages
inferred← citeshttps://doi.org/10.1145/3453483.3454112openalex-snapshot
Practical smart contract sharding with ownership and commutativity analysis
inferred← citeshttps://doi.org/10.1145/3464421openalex-snapshot
A Survey of Smart Contract Formal Specification and Verification
inferred← citeshttps://doi.org/10.1145/3485523openalex-snapshot
Rich specifications for Ethereum smart contract verification
inferred← citeshttps://doi.org/10.1145/3506800openalex-snapshot
Super-optimization of Smart Contracts
inferred← citeshttps://doi.org/10.1145/3547653openalex-snapshot
Random testing of a higher-order blockchain language (experience report)
inferred← citeshttps://doi.org/10.1145/3563308openalex-snapshot
Synthesis-powered optimization of smart contracts via data type refactoring
inferred← citeshttps://doi.org/10.1145/3563312openalex-snapshot
SigVM: enabling event-driven execution for truly decentralized smart contracts
inferred← citeshttps://doi.org/10.1145/3564699openalex-snapshot
A Solicitous Approach to Smart Contract Verification
inferred← citeshttps://doi.org/10.1145/3597503.3639203openalex-snapshot
Verifying Declarative Smart Contracts
inferred← citeshttps://doi.org/10.1145/3604629openalex-snapshot
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications
inferred← citeshttps://doi.org/10.1145/3622829openalex-snapshot
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
inferred← citeshttps://doi.org/10.1145/3689796openalex-snapshot
Practical Verification of Smart Contracts using Memory Splitting
inferred← citeshttps://doi.org/10.1145/3697840openalex-snapshot
Efficient State Sharding in Blockchain via Density-based Graph Partitioning
inferred← citeshttps://doi.org/10.1145/3706598.3713887openalex-snapshot
Understanding End-User Perception of Transfer Risks in Smart Contracts
inferred← citeshttps://doi.org/10.1145/3777414openalex-snapshot
Exploring Human-Centric Dimensions in Blockchain Smart Contracts
inferred← citeshttps://doi.org/10.1145/3815587openalex-snapshot
SpeSC + : An End-User Readable Domain-Specific Language for Smart Legal Contracts
inferred← citeshttps://doi.org/10.11606/d.45.2023.tde-05042024-151358openalex-snapshot
A formalization of a startup finance transaction model using Alloy
inferred← citeshttps://doi.org/10.1587/transinf.2022edp7016openalex-snapshot
The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services
inferred← citeshttps://doi.org/10.21428/58320208.ec1e7cd2openalex-snapshot
Bitcoin Trace-Net: Formal Contract Verification at Signing Time
inferred← citeshttps://doi.org/10.22541/au.167285898.83759504/v1openalex-snapshot
FSC: A Fast Smart Contract Transaction Execution Approach via Read-Write Static Analysis
inferred← citeshttps://doi.org/10.23889/suthesis.67283openalex-snapshot
Verification of Smart Contracts using the Interactive Theorem Prover Agda
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d3copenalex-snapshot
Holistic Specifications for Robust Programs
inferred← citeshttps://doi.org/10.32657/10356/169305openalex-snapshot
Securing smart contracts with formal verification and automated program repair
inferred← citeshttps://doi.org/10.3390/sym17081275openalex-snapshot
Formal Verification of Solidity Smart Contracts via Automata Theory
inferred← citeshttps://doi.org/10.3897/jucs.97112openalex-snapshot
Evaluation of a Legally Binding Smart-Contract Language for Blockchain Applications
inferred← citeshttps://doi.org/10.48550/arxiv.2008.05555openalex-snapshot
Compiling a Higher-Order Smart Contract Language to LLVM
inferred← citeshttps://doi.org/10.48550/arxiv.2102.10784openalex-snapshot
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
inferred← citeshttps://doi.org/10.9734/ajrcos/2024/v17i2420openalex-snapshot
A 5 Year Bibliometric Review of Programming Language Research Dynamics in Southeast Asia (2018-2023)
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.