Aarti Gupta

Employment

• Princeton University Professor
  2015 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (182)

• Specy: Learning Specifications for Distributed Systems from Event Traces
  Proceedings of the ACM on Programming Languages 2026 DOI: 10.1145/3798209
  +Save
• Ranking Formal Specifications using LLMs
  2025 DOI: 10.1145/3759425.3763386
  +Save
• Buffy: A Formal Language-Based Framework for Network Performance Analysis
  2024 DOI: 10.1145/3696348.3696854
  +Save
• Automatic Generation of Cycle-Accurate Timing Models from RTL for Hardware Accelerators
  2024 DOI: 10.1145/3676536.3676657
  +Save
• Zoom2Net: Constrained Network Telemetry Imputation
  2024 DOI: 10.1145/3651890.3672225
  +Save
• SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications
  ACM Transactions on Design Automation of Electronic Systems 2023 DOI: 10.1145/3610292
  +Save
• Towards Integrating Formal Methods into ML-Based Systems for Networking
  2023 DOI: 10.1145/3626111.3628188
  +Save
• Modular Control Plane Verification via Temporal Invariants
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3591222
  +Save
• Psym: Efficient Symbolic Exploration of Distributed Systems
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3591247
  +Save
• Synthesizing MILP Constraints for Efficient and Robust Optimization
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3591298
  +Save