Bio

I am a 4th-year PhD student at Stanford University, advised by Clark Barrett. My research focuses on applications of the theory of strings within symbolic execution as well as memory model verification.

Contact

Additional Info

  • Mail Code: 9025

All Publications

  • Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware Formal Methods in Computer-Aided Design Cleaveland, R., Trippel, C. 2024
  • Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS Cleaveland, R., Mitsch, S., Platzer, A. 2023; 22 (1)

    View details for DOI 10.1145/3544970

    View details for Web of Science ID 000908419900010