Yannis Smaragdakis
where else to find them
what they talk about
all 10 in the filters
where they keep going back
all 4 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Neville Grech10 talks
- Gonçalo Sá5 talks
- Jon Stephens4 talks
- Ilias Tsatiris5 talks
- Mooly Sagiv18 talks
- Scott Moore13 talks
| title | conference | date |
|---|---|---|
| How Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler | SOAP 2026 | 2026-06-16 |
Claims that context-sensitive static analysis produces the best EVM decompiler and backs it with concrete artifacts: an open-source lifter called GigaHorse v3… | ||
| So, you think you can write an EVM decompiler? | Solidity Summit 2025 | 2025-11-18 |
Decompilation engine Gigahorse runs since 2018 and powers a Dedaub security app with ~10,000 registered users, using static over-approximation with context… | ||
| 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… | ||
| 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%… | ||
| Thanks for all the bugs! | Solidity Summit 2022 | 2022-04-20 |
Runs a decompiler and a rule-based analysis engine that builds program concepts from thousands of logical rules, powering contract-library.com and a watchdog… | ||
| Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity | OOPSLA 2021 | 2021-10-17 |
Proposes Unity-Relay, a meta-framework that combines multiple selective context sensitivity strategies and, when needed, runs them in successive passes using… | ||
| 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… | ||
| Tool Talk: DOOP | SOAP 2020 | 2020-06-15 |
DOOP is a declarative Java/Android bytecode analysis framework that expresses pointer and value‑flow algorithms as ~2,000 Datalog rules compiled to a Souffle… | ||
| Why do a PhD? | SPLASH 2019 PLMW | 2019-10-20 |
A PhD is a training to produce new knowledge that rewards deep, patient curiosity more than coursework or short-term metrics. Expect years of uncertainty, slow… | ||
| nothing matches | ||