Mina Tahmasbi Arashloo
where else to find them
what they talk about
where they keep going back
- NSDI2 editions2020–2023
all 4 in the filters
on a stage with
all 20 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Count-Based Abstractions for Performance Verification of Contention Points | NSDI '26 | 2026-05-04 |
Develops a count+window abstraction that tracks small windows of per-class packet counts plus overflow barriers to bound reordering and trade precision for… | ||
| Formal Methods for Network Performance Analysis | NSDI 2023 | 2023-04-17 |
Formal analysis encodes queues and timed packet sequences in logic, uses Z3 and syntax-guided synthesis to produce concise constraint-based workloads (not… | ||
| Modular Switch Programming Under Resource Constraints | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
P4All extends P4 with elastic data structures (symbolic sizes + objective functions) and compile-time loops and uses dependency analysis plus an ILP-based… | ||
| Petr4: Formal Foundations for P4 Data Planes | POPL 2021 | 2021-01-17 |
Petr4 provides a clean‑slate definitional interpreter and a compact core calculus that models a P4 fragment, validated by running over 750 tests from the P4… | ||
| Enabling Programmable Transport Protocols in High Speed NICs | NSDI 2020 | 2020-02-25 |
Paper presents Tonic, a hardware template and API that implements transport logic (segment selection and credit management) constrained to a few kilobits per… | ||
| nothing matches | ||