Sotabase
Home
Researchers
Career
·
Teaching Assistant
,
Stanford University
2026–
·
PhD in Computer Science
,
Stanford University
2021–
·
Research Assistant
,
Carnegie Mellon University
2018–2021
·
Amazon Web Services (AWS)
Publications
(5)
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X
ACM Transactions on Embedded Computing Systems · 2021
16
cited
Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware
Formal Methods in Computer-Aided Design · 2024
3
cited
Adaptation in a new land : a look through the eyes of British immigrants : an honors thesis (HONRS 499)
2007
Formal Verification of Next-Generation Airborne Collision Avoidance System with Adversarial Intruder Behavior
2021
The Motion : Assumptions and Simplifications
2019
Sotabase
Rachel Cleaveland | Researcher Profile | Sotabase | Sotabase