Alcino Cunha
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
never shared a talk
who talks about the same things
- Jason Orendorff3 talks
- Hillel Wayne9 talks
- Peter Alvaro7 talks
- Andrea Magnorsky7 talks
- Stuart Halloway13 talks
- Neal Ford43 talks
| title | conference | date |
|---|---|---|
| Interview | Lambda World 2024 | 2024-10-02 |
Argues that lightweight formal methods are already simple enough to use in non‑critical, everyday software and demonstrates that by running an Alloy workshop… | ||
| Designing software with complex configurations | Lambda World 2024 | 2024-10-02 |
Shows how TLA+ (with TLC) and Alloy/Alloy 6 model a spanning‑tree echo protocol and catch a subtle config bug: two specific directed networks cause a… | ||
| nothing matches | ||