Katerina Argyraki
where else to find them
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Automatically Reasoning About How Systems Code Uses the CPU Cache | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
CFAR extracts a compact program called a memory distillate that outputs symbolic memory accesses, built by combining symbolic execution of source paths with… | ||
| 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… | ||
| Performance Interfaces for Network Functions | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
Proposes concrete “performance interfaces” for network functions and implements them with PIX, a tool that extracts programmatic latency expressions and free… | ||
| When to Hedge in Interactive Services | NSDI ’21 | 2021-04-12 |
Compares hedging vs optimal load balancing, shows hedging often gives no benefit above ~60% utilization and can cause congestion, defines an idealized hedge… | ||
| Performance Contracts for Software Network Functions | NSDI 2019 | 2019-02-26 |
Defines performance contracts that map NF packet classes to human‑readable formulas over PCVs and claims static prediction of per‑packet instruction and memory… | ||
| ResQ: Enabling SLOs in Network Function Virtualization | NSDI '18 | 2018-04-09 |
ResQ enforces SLOs by combining Intel RDT cache allocation (CAT) with careful I/O buffer sizing to fix a discovered leaky DMA problem that lets DMA pollute the… | ||
| nothing matches | ||