Bernhard Scholz
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 7 in the filters
on a stage with
all 15 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine | VMIL 2024 | 2024-10-20 |
Automated pipeline traces EVM basic blocks, applies the recursive pair algorithm to produce a grammar of frequent instruction sequences, and uses a greedy… | ||
| Automatic Rollback Suggestions for Incremental Datalog Evaluation | PADL 2023 | 2023-01-16 |
A debugging method computes incremental provenance to identify which inserted or deleted Datalog input tuples enable each error derivation, encodes the minimal… | ||
| 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… | ||
| The Choice Construct in the Soufflé Language | APLAS 2021 | 2021-10-17 |
Implements a relation-based choice extension to the Soufflé Datalog engine that enforces functional dependencies on relations, emitting an existence-check… | ||
| An Off-The-Chain Execution Environment for Scalable Testing and Profiling... | USENIX ATC '21 | 2021-07-14 |
An off‑chain replayer stores per-transaction input-output tuples in compact substates and replays 590 million historical transactions from the first 9M blocks… | ||
| Debugging Large-Scale Datalog: A Scalable Provenance Evaluation Strategy | POPL 2021 | 2021-01-17 |
A bottom-up evaluation augments Soufflé relations with proof annotations (rule id + minimal proof-tree height) so the engine computes and updates heights… | ||
| Tool Talk: Soufflé | SOAP 2020 | 2020-06-15 |
Soufflé is a Datalog engine that targets C++-level performance by generating standalone C++ via a compiled synthesizer or running an interpreter for quick… | ||
| nothing matches | ||