Fundraising September 15, 2024 – October 1, 2024 About fundraising
56

Verifying Correct Microarchitectural Enforcement of Memory Consistency Models

Year:
2015
Language:
english
File:
PDF, 1.73 MB
english, 2015
71

ArMOR

Year:
2015
Language:
english
File:
PDF, 335 KB
english, 2015
85

Management of supernumerary testis

Year:
2017
Language:
english
File:
PDF, 100 KB
english, 2017
88

TriCheck

Year:
2017
Language:
english
File:
PDF, 1.46 MB
english, 2017
95

Full-Stack Memory Model Verification with TriCheck

Year:
2018
Language:
english
File:
PDF, 1.66 MB
english, 2018