Isitha Subasinghe
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
- Andrea Lattuadaonce
- Bryan Parnoonce
- Chanhee Choonce
all 8 in the filters
who talks about the same things
- Shuangkun Tian4 talks
- Alan Clucas6 talks
- Saravanan Balasubramanian2 talks
- Pratik Wadher5 talks
- Alex Collins4 talks
- Caelan Urquhart7 talks
| title | conference | date |
|---|---|---|
| Argo Workflows Update | ArgoCon Europe 2026 | 2026-03-23 |
Argo Workflows 4.0 ships with 24 new features, 122 fixes and 73 contributors (37 new), plus 50 new contributors this quarter and one new reviewer, Eduardo… | ||
| Verus: Verifying Rust Programs using Linear Ghost Types | OOPSLA 2023 | 2023-10-23 |
Verus is an SMT-based verifier that embeds proofs in Rust and uses linear ghost permissions to represent ownership-aligned memory permissions; the tool demands… | ||
| nothing matches | ||