Maria Christakis
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Perfectly Parallel Fairness Certification of Neural Networks | OOPSLA 2020 | 2020-11-15 |
A perfectly parallel static analysis certifies dependency fairness for feed‑forward ReLU networks by combining a cheap forward pre-analysis (interval abstract… | ||
| nothing matches | ||