Reports for Author "Trippel, Caroline"

TR-981-15 - ArMOR: Defending Against Memory Consistency Model Mismatches in Heterogeneous Architectures (2015-04-20)
Martonosi, Margaret / Lustig, Daniel / Trippel, Caroline / Pellauer, Michael
TR-012-19 - Concurrency and Security Verification in Heterogeneous Parallel Systems (2019-10-07)
Trippel, Caroline