Aarti Gupta
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Ankush Desai10 talks
- Lauren Pick3 talks
- David Walker15 talks
- Adam Chlipala23 talks
- Alex Aiken8 talks
- Jingbo Wang4 talks
| 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… | ||
| Ranking Formal Specifications using LLMs | LMPL 2025 | 2025-10-12 |
An LLM-driven four-metric rating workflow scores mined first-order specifications (generalizability, criticality, distinguishability, visibility) by prompting… | ||
| 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… | ||
| Synthesizing MILP Constraints for Efficient and Robust Optimization | PLDI 2023 | 2023-06-17 |
Proposes a syntax-guided synthesis pipeline that generates MILP encodings from arbitrary Boolean-linear specs, implementing an extensible DSL, iterative… | ||
| Modular Control Plane Verification via Temporal Invariants | PLDI 2023 | 2023-06-17 |
Timepiece implements a temporal model and an SMT-backed verifier (C library plus harness) that replaces unsafe stable-state modular checks with temporal… | ||
| Psym: Efficient Symbolic Exploration of Distributed Systems | PLDI 2023 | 2023-06-17 |
Psym implements a symbolic explorer for P programs that merges frontier states using composite value summaries and canonical BDD-backed SECI guards so… | ||
| Katra: Realtime Verification for Multilayer Networks | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
Katra implements a new incremental verifier that models packets as a single header copy and uses partial equivalence classes plus a lazy repair of header… | ||
| nothing matches | ||