Rachel Cleaveland

According to our database, Rachel Cleaveland authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Integrating String Reasoning in Symbolic Execution of C Programs.

Rachel Cleaveland, Clark W. Barrett

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

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

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

CoRR, August, 2025

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

Peijing Li, Muhammad Shahir Abdurrahman, Rachel Cleaveland, Sergey Legtchenko, Philip Levis, Ioan A. Stefanovici, Thierry Tambe, David Tennenhouse, Caroline Trippel, H.-S. Philip Wong

Proceedings of the 3rd Workshop on Disruptive Memory Systems, 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