Deriving Parallel Codes via Invariants

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs

SAS '01 Proceedings of the 8th International Symposium on Static Analysis

Optimizing the parallel computation of linear recurrences using compact matrix representations

Journal of Parallel and Distributed Computing

Automatic parallelization of recursive functions using quantifier elimination

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming

Generate, test, and aggregate: a calculation-based framework for systematic parallel programming with mapreduce

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems

A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce

Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores

A Generate-Test-Aggregate parallel programming library for systematic parallel programming

Parallel Computing