Alasdair Armstrong
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Brian Campbellonce
- Nils Lauermannonce
- Peter Sewellonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| ArchSem: Reusable Rigorous Semantics of Relaxed Architectures | POPL 2026 | 2026-01-11 |
A reusable framework composes ISA pseudo-code from Sail with concurrency interpreters in Rock via a freemonad of 15 algebraic effects, ingesting the full ARM… | ||
| Sail RISC-V: Status and Future Challenges | RISC-V Summit North America 2024 | 2024-10-22 |
Sail is the RISC‑V golden model language with RV32/RV64 core, Vector and many Z extensions implemented, and a proof‑of‑concept for runtime configurability (no… | ||
| nothing matches | ||