Jacqueline Mitchell

Jacqueline Mitchell

PhD Student @ USC

Publications

  1. Position: Vibe Coding Needs Vibe Reasoning – Improving Vibe Coding with Formal Verification. Jacqueline Mitchell*, Yasser Shaaban*. LMPL 2025 (Co-located with SPLASH 2025) (To Appear).
  2. Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters. Jacqueline Mitchell, Brian Hyeongseok Kim, Chenyu Zhou, Chao Wang, LMPL 2025 (Co-located with SPLASH 2025) (To Appear).
  3. Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions. Jacqueline Mitchell, Chao Wang, ECOOP 2025. [link]
  4. Architecture Preserving Provable Repair of Deep Neural Networks. Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur. PLDI 2023. [link]

* Denotes equal contribution.