Scholar

Aarti Gupta

Google Scholar ID: S_jYB2sAAAAJ

Princeton University

Formal methodssystem/software verificationprogram analysisSAT/SMT solversdesign automation

Google Scholar↗

Citations & Impact

All-time

Citations

11,817

H-index

54

i10-index

213

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

4 items

CB-VER: A Stable Foundation for Modular Control Plane Verification

2026

Cited

0

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

2026

Cited

0

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

2026

Cited

0

SecIC3: Customizing IC3 for Hardware Security Verification

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)