Thesis icon

Thesis

Static analyses over weak memory

Abstract:

Writing concurrent programs with shared memory is often not trivial. Correctly synchronising the threads and handling the non-determinism of executions require a good understanding of the interleaving semantics. Yet, interleavings are not suffi...Expand abstract...

Actions


Access Document


Files:

Authors


Contributors

Institution:
University of Oxford
Research group:
Automated Verification
Oxford college:
Balliol College
Department:
Mathematical,Physical & Life Sciences Division - Computing Laboratory
Role:
Supervisor
Role:
Supervisor
Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Publication date:
2014
URN:
uuid:469907ec-6f61-4015-984e-7ca8757b992c
Local pid:
ora:12272

Terms of use


Stats


Views & Downloads


If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP