Katerina Argyraki
10 papers
· 2012–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Academic Marathon
(12)
π
Cross-Pollinator
(8)
πΊοΈ
Taxonomy Completionist
(10)
π
Conference Polyglot
(3)
π§¬
Topic Evolution
π
Century Club
(10)
π
Conference Pioneer
Conferences
NSDI (8)
ACL (1)
OSDI (1)
Top co-authors
Research topics
Keywords
program analysis
(2)
network function
(2)
formal verification
(2)
resource allocation
(1)
performance modeling
(1)
static analysis
(1)
hedging strategy
(1)
congestion control
(1)
network verification
(1)
tail latency
(1)
performance isolation
(1)
symbolic execution
(1)
network slicing
(1)
load balancing
(1)
latency optimization
(1)
performance regression
(1)
scheduling policy
(1)
nic offload
(1)
binary instrumentation
(1)
cpu cache
(1)
Papers
When to Hedge in Interactive Services
NSDI 2021
Software Dataplane Verification
NSDI 2014