Akvilė Valentukonytė
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
- George Candeaonce
- Katerina Argyrakionce
- Solal Pirellionce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Automated Verification of Network Function Binaries | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
Claims an automated verifier, Klint, proves properties of real NF binaries (no source or debug info) by modeling arbitrary data structures as a universal ghost… | ||
| nothing matches | ||