Maria Apostolaki
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 22 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Making Logic a First-Class Citizen in Generative ML for Networking | NSDI '26 | 2026-05-04 |
NetNomos learns first-order logic rules from four real-world datasets, filters them, then enforces them at inference by running a GPT-2 model alongside an SMT… | ||
| Controlling Arbitrary Internet Queues with Titrate | NSDI '26 | 2026-05-04 |
Titrate is a router-side closed loop that probes and adapts per-queue thresholds in real time using NS3 packet‑level simulation and live Internet experiments… | ||
| Starfish: A Topology-Routing Co-Design for Small-Scale Data Centers | NSDI '26 | 2026-05-04 |
Starfish rearranges existing switches into a DRing double‑ring topology and implements a Shortest Near K routing scheme using VRF partitions and BGP (prototype… | ||
| A Layered Formal Methods Approach to Answering Queue-related Queries | NSDI '25 | 2025-04-28 |
QuASI answers whether queue-related queries (e.g., whether a queue could exceed a threshold, burst occurrence, max buffer occupancy) are possible using only… | ||
| Reverie: Low Pass Filter-Based Switch Buffer Sharing for Datacenters with RDMA and TCP... | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Reverie replaces the vendor Sonic model with a single shared pool, accounting each packet once and consolidating ingress and egress views to avoid… | ||
| TANGO: Secure Collaborative Route Control across the Public Internet | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
TANGO demonstrates that coordinated edge networks can uncover and use hidden BGP paths: bgp Pathfinder finds a median of three paths (up to 10–12) for many… | ||
| Blink: Fast Connectivity Recovery Entirely in the Data Plane | NSDI 2019 | 2019-02-26 |
Blink detects remote outages from TCP retransmission waves by tracking 64 flows per prefix with an 800 ms window, counting flows with consecutive identical… | ||
| nothing matches | ||