Ilias Tsatiris
where else to find them
linkedin:ilias-tsatiris-722650137
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA4 editions2020–2025
on a stage with
all 5 in the filters
who talks about the same things
- Sifis Lagouvardos5 talks
- Neville Grech10 talks
- Yannis Smaragdakis19 talks
- Theodoros Theodoridis5 talks
- Armando Solar-Lezama18 talks
- Eric Koskinen13 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… | ||
| 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… | ||
| 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%… | ||
| 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 | ||