Richard Trefler
where else to find them
no profile links on file
what they talk about
where they keep going back
- VMCAI2 editions2022–2025
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications | VMCAI 2025 | 2025-01-20 |
Automated procedure synthesizes an abstract representative process from a fair-CTL local specification using a modified tableau that adds interference… | ||
| Compositional Verification of Smart Contracts Through Communication Abstraction | SPLASH 2022 | 2022-12-05 |
Claims that local bundles reduce contracts with 2^160 addresses to a sequential C model with a handful of representative users computed via static analysis… | ||
| Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE | VMCAI 2022 | 2022-01-16 |
SmartACE is an automated pipeline that translates Solidity + Scribble specs to an LLVM harness and applies parametrized verification via local bundle… | ||
| Compositional Verification of Smart Contracts Through Communication Abstraction | SAS 2021 | 2021-10-17 |
Claims a local bundle abstraction that reduces Solidity contracts with 2^160 addresses to a few representative users (example: 2^160 → 4) and turns… | ||
| nothing matches | ||