Ratul Mahajan
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 18 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Network Change Validation with Relational NetKAT | POPL 2026 | 2026-01-11 |
Relational NetKAT is a specification language for change-by-trace: programs describe a trace relation R and compile it to NetKAT transducers and automata so… | ||
| High-level Programming for Application Networks | NSDI '25 | 2025-04-28 |
AppNet is a framework that compiles high-level generalized match-action programs for RPC processing into platform-specific code (RPC library, colocated proxy… | ||
| Sequence Abstractions for Flexible, Line-Rate Network Monitoring | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
A new system called FLM compiles sequence-monitoring programs to P4 that run on programmable switch ASICs, splitting specs into state management plus a regular… | ||
| Test Coverage for Network Configurations | NSDI 2023 | 2023-04-17 |
NetCov identifies which router configuration lines a test suite actually exercises by tracing data-plane facts back to contributing config lines using an… | ||
| nothing matches | ||