Katerina Argyraki
10 papers · 2012–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ 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
Automatically Reasoning About How Systems Code Uses the CPU Cache
OSDI 2024
Automated Verification of Network Function Binaries
NSDI 2022
Performance Interfaces for Network Functions
NSDI 2022
When to Hedge in Interactive Services
NSDI 2021
Performance Contracts for Software Network Functions
NSDI 2019
ResQ: Enabling SLOs in Network Function Virtualization
NSDI 2018
Generating Steganographic Text with LSTMs
ACL 2017
Verifying Reachability in Networks with Mutable Datapaths
NSDI 2017
Software Dataplane Verification
NSDI 2014
Toward Predictable Performance in Software Packet-Processing Platforms
NSDI 2012