Aarti Gupta

3 papers · 2020–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (4)

Conferences

NSDI (2) ICLR (1)

Top co-authors

Toby Walsh (1) Hongce Zhang (1) Divya Raghunathan (1) Nina Narodytska (1) Ryan Beckett (1) Maria Apostolaki (1)

Keywords

network verification (1) data plane (1) multilayer network (1) pushdown system (1) incremental verification (1) smt solver (1) formal performance analysis (1) queue-related query (1) abstract trace (1) packet trace (1)

Papers

A Layered Formal Methods Approach to Answering Queue-related Queries NSDI 2025

Katra: Realtime Verification for Multilayer Networks NSDI 2022

In Search for a SAT-friendly Binarized Neural Network Architecture ICLR 2020