Architecture-Preserving Provable Repair of Deep Neural Networks. - Zhe Tao; Stephanie Nawas; Jacqueline Mitchell 001; Aditya V. Thakur (Proc. ACM Program. Lang., 2023)

Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions. - Jacqueline L. Mitchell; Chao Wang 001 (ECOOP, 2025)

Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions (Artifact). - Jacqueline L. Mitchell; Chao Wang 001 (Dagstuhl Artifacts Ser., 2025)

Can LLMs Formally Reason as Abstract Interpreters for Program Analysis? - Jacqueline L. Mitchell; Brian Hyeongseok Kim; Chenyu Zhou; Chao Wang 001 (CoRR, 2025)