We stand with Ukraine  

Jacqueline L. Mitchell

Orcid: 0009-0007-8593-2972

Affiliations:
  • University of Southern California, Los Angeles, CA, USA
  • University of California at Davis, CA, USA (former)


According to our database1, Jacqueline L. Mitchell authored at least 4 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Can LLMs Formally Reason as Abstract Interpreters for Program Analysis?
[BibTeX]
[DOI]
Jacqueline L. Mitchell
,
Brian Hyeongseok Kim
,
Chenyu Zhou
,
Chao Wang
CoRR, March, 2025

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

Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions.
[BibTeX]
[DOI]
Jacqueline L. Mitchell
,
Chao Wang
Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2023
Architecture-Preserving Provable Repair of Deep Neural Networks.
[BibTeX]
[DOI]
Zhe Tao
,
Stephanie Nawas
,
Jacqueline Mitchell
,
Aditya V. Thakur
Proc. ACM Program. Lang., 2023


  Loading...