Rachel Cleaveland

Identifiers

• name variant Rachel Cleaveland 0.60 · backfill

Papers (2)

1. Towards Memory Specialization: A Case for Long-Term and Short-Term RAM cs.AR · 2025 · author #3
2. Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X cs.LO · 2021 · author #1

Mentions

• 2508.02992 #3 · arxiv_oai · confidence 0.70 Rachel Cleaveland
• 2106.02030 #1 · arxiv_oai · confidence 0.70 Rachel Cleaveland

Frequent Coauthors

• Andr\'e Platzer 1 shared papers
• Caroline Trippel 1 shared papers
• David Tennenhouse 1 shared papers
• Ioan Stefanovici 1 shared papers
• Muhammad Shahir Abdurraman 1 shared papers
• Peijing Li 1 shared papers
• Philip Levis 1 shared papers
• Sergey Legtchenko 1 shared papers
• Stefan Mitsch 1 shared papers
• Thierry Tambe 1 shared papers