Vyas Sekar
where else to find them
bluesky:vyassekar.bsky.social
what they talk about
all 9 in the filters
where they keep going back
- NSDI3 editions2019–2023
all 7 in the filters
on a stage with
all 35 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| MoCE: A Mixture-of-Context Aware Experts Framework for Troubleshooting... | NSDI '26 | 2026-05-04 |
MoCE implements a mixture-of-context-aware experts system where each expert is expressed as a dataflow DAG of SQL, stateful, and statistical operators; a… | ||
| ExChain: Exception Dependency Analysis for Root Cause Diagnosis | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
ExChain is an online monitor that instruments services with low overhead and links silent, state-changing exceptions to distant failures using… | ||
| ExoPlane: An Operating System for On-Rack Switch Resource Augmentation | NSDI 2023 | 2023-04-17 |
ExoPlane is an OS that augments a programmable switch with on-rack devices (smartNICs) and claims to let multiple stateful P4 apps share resources with low… | ||
| Sketchovsky: Enabling Ensembles of Sketches on Programmable Switches | NSDI 2023 | 2023-04-17 |
Sketchovsky implements five cross-sketch optimizations, a heuristic strategy finder and an automatic code composer to pack multiple sketches onto a… | ||
| SketchLib: Enabling Efficient Sketch-based Monitoring on Programmable Switches | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
SketchLib is a P4-targeted library that implements six correct-by-construction optimizations after identifying four hardware bottlenecks (hash units, SLUs… | ||
| Don't Yank My Chain: Auditable NF Service Chaining | NSDI ’21 | 2021-04-12 |
AuditBox is a deployed system that uses trusted execution environments (Intel SGX enclaves) plus a per-NF verification shim to produce continuous, provable… | ||
| Towards an Architecture for Trusted Edge IoT Security Gateways | 3rd USENIX Workshop on Hot Topics in Edge Computing (HotEdge '20) | 2020-06-25 |
Proposes a concrete gateway architecture that uses an extensible micro‑hypervisor to enforce virtual TPM attestation, isolate keys for per‑hop packet… | ||
| NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification | NSDI 2020 | 2020-02-25 |
NetSMC is a custom symbolic model checker that encodes stateful NFs using an existential first-order encoding and analyzes a one-packet-at-a-time model that… | ||
| FreeFlow: Software-based Virtual RDMA Networking for Containerized Clouds | NSDI 2019 | 2019-02-26 |
FreeFlow implements a software RDMA virtualization layer that runs on commodity RDMA NICs, intercepting libibverbs’ serialized commands and presenting shadow… | ||
| Efficient and Correct Test Scheduling for Ensembles of Network Policies | NSDI '18 | 2018-04-09 |
Mikado is a scheduling layer that takes test traces from black‑box tools (bust, ATPG, simnet per uploader) and guarantees correctness by formalizing stateful… | ||
| nothing matches | ||