Context-bounded verification of liveness properties for multithreaded shared-memory programs.
Pascal BaumannRupak MajumdarRamanathan S. ThinniyamGeorg ZetzschePublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- shared memory
- distributed memory
- message passing
- parallel algorithm
- multi processor
- parallel programming
- parallel computing
- coarse grained
- multithreading
- parallel machines
- parallel architecture
- parallel architectures
- parallel computation
- model checking
- parallel execution
- three dimensional
- efficient implementation
- belief propagation
- image processing
- dynamic programming
- parallel computers
- data parallelism