Rachel Cleaveland

According to our database, Rachel Cleaveland authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Towards Memory Specialization: A Case for Long-Term and Short-Term RAM.

Peijing Li, Muhammad Shahir Abdurraman, Rachel Cleaveland, Sergey Legtchenko, Philip Levis, Ioan A. Stefanovici, Thierry Tambe, David Tennenhouse, Caroline Trippel

CoRR, August, 2025

2024

Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware.

Rachel Cleaveland, Caroline Trippel

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X.

Rachel Cleaveland, Stefan Mitsch, André Platzer

ACM Trans. Embed. Comput. Syst., 2023