Aarti Gupta

4 papers · 2020–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

NSDI (3) ICLR (1)

Top co-authors

David Walker (1) Toby Walsh (1) Amir Seyhani (1) Hongce Zhang (1) Divya Raghunathan (1) Nina Narodytska (1) Ryan Beckett (1) Mina Tahmasbi Arashloo (1) Maria Apostolaki (1)

Research topics

Machine Learning (2) Application Areas (2) Artificial Intelligence (1) Computer Science (1) Deep Learning (1) Knowledge & Reasoning (1) Mathematics & Optimization (1) Architectures (1) Core AI (1) Foundations (1) Mathematics (1) Reasoning (1) Systems (1)

Keywords

neural network architecture (1) network modeling (1) formal verification (1) binarized neural network (1) sat solver (1) network verification (1) data plane (1) multilayer network (1) pushdown system (1) incremental verification (1) smt solver (1) scalability analysis (1) model simplification (1) formal performance analysis (1) queue-related query (1) abstract trace (1) packet trace (1) performance verification (1) contention point (1) buffer abstraction (1)

Papers

Count-Based Abstractions for Performance Verification of Contention Points NSDI 2026 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