Sidi Mohamed Beillahi
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| HEMVM: a Heterogeneous Blockchain Framework for Interoperable Virtual Machines | OOPSLA 2025 | 2025-10-16 |
HEMVM integrates EVM and MoveVM inside an Aptos-based prototype by adding two system APIs and an invoker/handler pattern so contracts call across VMs… | ||
| LVMT: An Efficient Authenticated Storage for Blockchain | OSDI 2023 | 2023-07-10 |
Claims a storage layer called LVMT that swaps Merkle Patricia Tries for an AMT vector commitment plus a multi-layer trie, stores version numbers instead of… | ||
| Behavioral simulation for smart contracts | SPLASH 2022 | 2022-12-05 |
Automated method claims to verify unannotated smart contracts by synthesizing behavioral refinement as simulation relations between a few manually annotated… | ||
| SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts | OOPSLA 2022 | 2022-12-05 |
SigVM extends EVM with five primitives to create/delete signals, bind/detach handlers and emit events, making handlers execute automatically as signal… | ||
| nothing matches | ||