Aarti Gupta

Identifiers

• name variant Aarti Gupta 0.60 · backfill

Papers (5)

1. CB-VER: A Stable Foundation for Modular Control Plane Verification cs.NI · 2026 · author #4
2. AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms cs.SE · 2026 · author #8
3. Control Plane Compression cs.NI · 2018 · author #2
4. Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification cs.AR · 2018 · author #5
5. Verification of Embedded Memory Systems using Efficient Memory Modeling cs.LO · 2007 · author #2

Mentions

• 2602.09464 #8 · arxiv_oai · confidence 0.70 Aarti Gupta
• 2604.03539 #4 · arxiv_oai · confidence 0.70 Aarti Gupta
• 0710.4666 #2 · backfill · confidence 0.70 Aarti Gupta

Frequent Coauthors

• David Walker 2 shared papers
• Bo-Yuan Huang 1 shared papers
• Chi Jin 1 shared papers
• Dexin Zhang 1 shared papers
• Deyuan He 1 shared papers
• Haoyu Zhao 1 shared papers
• Hongce Zhang 1 shared papers
• Jiawei Li 1 shared papers
• Malay K. Ganai 1 shared papers
• Pramod Subramanyan 1 shared papers
• Pranav Ashar 1 shared papers
• Ratul Mahajan 1 shared papers
• Ryan Beckett 1 shared papers
• Sanjeev Arora 1 shared papers
• Sharad Malik 1 shared papers
• Timothy Alberdingk Thijm 1 shared papers
• Venugopal V. Veeravalli 1 shared papers
• Yakir Vizel 1 shared papers
• Zenan Li 1 shared papers
• Ziran Yang 1 shared papers