Neville Grech
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA4 editions2020–2025
all 4 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Yannis Smaragdakis19 talks
- Gonçalo Sá5 talks
- Ilias Tsatiris5 talks
- Michael Lewellen10 talks
- Jon Stephens4 talks
- Mehdi Zerouali7 talks
| title | conference | date |
|---|---|---|
| Universal Scalability in Declarative Program Analysis (with Choice-Based Combination(…) | OOPSLA 2025 | 2025-10-16 |
Uses the choice construct in Souffle to enforce multiplicity bounds by hashing an extra index field, letting relations be pruned when a projected key exceeds a… | ||
| How Decompilation Uncovers Smart Contract Vulnerabilities | Web3 Summit 2025 | 2025-07-16 |
Decompilation plus declarative static program analysis (Datalog) reconstructs functions, variables and control flow from EVM bytecode and enables scalable… | ||
| Symbolic value-flow static analysis:deep,precise,complete modeling of Ethereum smartcontracts | SPLASH 2022 | 2022-12-05 |
A static analysis combines concrete values and symbolic expressions into a symvalic analysis that runs as a Datalog fixpoint while calling a theorem prover… | ||
| Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities | SPLASH 2022 | 2022-12-05 |
Ethainter implements Datalog taint analysis and models cross-transaction taint with sanitizers, not just single-call bugs, and runs on bytecode at blockchain… | ||
| Elipmoc: advanced decompilation of Ethereum smart contracts | OOPSLA 2022 | 2022-12-05 |
Elipmoc claims a practical, high-precision decompiler for Ethereum bytecode that resolves operands 99.5% of the time versus Gigahorse’s 62.8%, yields up to 67%… | ||
| Billion Dollar Bugs | DeFi Security Summit 2022 | 2022-08-27 |
A scientific, repeatable pipeline combines a decompiler/indexer (contractlibrary.com), a fast transaction debugger and a declarative program analysis engine… | ||
| Discussion - Auditors, Sessions 3 & 4 | DeFi Security Summit 2022 | 2022-08-27 |
Panelists describe security work as time‑boxed security assessments that read code, run static analysis (Slither, Mythril), run fuzzing and taint/symbolic… | ||
| Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts | OOPSLA 2021 | 2021-10-17 |
A static analysis combines a Datalog fixpoint engine with a tightly integrated symbolic solver, invoking the solver tens to hundreds of thousands of times to… | ||
| Precise Static Modeling of Ethereum “Memory” | OOPSLA 2020 | 2020-11-15 |
Declarative modeling of EVM memory using datalog rules and a gigahorse decompiler recovers source-level arguments and array allocations from low-level… | ||
| nothing matches | ||