A
A. Amighi
Publications - 1
Citations - 17
A. Amighi is an academic researcher. The author has contributed to research in topics: Shared memory & Concurrent computing. The author has an hindex of 1, co-authored 1 publications receiving 17 citations.
Papers
More filters
DissertationDOI
Specification and verification of synchronisation classes in Java: A practical approach
TL;DR: This thesis uses a program logic, called permission-based Separation Logic, to statically reason about the correctness of synchronisation constructs and presents a sound specification and verification technique to reason about data race freedom and functional correctness of GPU kernels that use atomic operations as synchronisation mechanism.