Thesis icon

Thesis

Automated concurrency bug finding using partial-orders

Abstract:

Concurrent systems are ubiquitous, ranging from multi-core processors to large-scale distributed systems. Yet, the verification of concurrent systems remains a daunting task, and technological advances such as weak memory architectures greatly ...Expand abstract...

Actions


Access Document


Request a copy:
The files for the record are currently under embargo. If you would like us to seek permission for you to view the document please Request a copy

Authors


Contributors

Department:
Computer Science
Role:
Supervisor
Department:
Computer Science
Role:
Supervisor
Department:
Computer Science
Role:
Examiner
Department:
Max Planck Institute for Software Systems
Role:
Examiner
Type of award:
DPhil
Awarding institution:
University of Oxford
Format:
Physical

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