Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jacqueline Mitchell
conf.researchr.org general profile
ECOOP 2025 profile
ICFP/SPLASH 2025 profile
PLDI 2023 profile
Not registered as user
Name:
Jacqueline Mitchell
Affiliation:
University of California, Davis
Contributions
2025
LMPL
Author of Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters within the LMPL 2025-track
Author of Vibe Coding Needs Vibe Reasoning – Improving Vibe Coding with Formal Verification within the LMPL 2025-track
ECOOP
Author of Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions within the Technical Papers-track
2023
PLDI
Author of Architecture-Preserving Provable Repair of Deep Neural Networks within the PLDI Research Papers-track
Share
x
Sat 25 Oct 22:49