Highly Influenced

@inproceedings{Low2005ExtractingSP, title={Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications}, author={Tze Meng Low and Robert A. van de Geijn and Field G. Van Zee}, booktitle={PPOPP}, year={2005} }

- Published 2005 in PPOPP
DOI:10.1145/1065944.1065965

We show how to exploit high-level information, available as part of the derivation of provably correct algorithms, so that SMP parallelism can be systematically identified. Recent research has shown that loop-based dense linear algebra algorithms can be systematically derived from the mathematical specification of the operation. Fundamental to the methodology is the determination of loop-invariants (in the sense of Dijkstra and Hoare) from which correct loops can be systematically derived. We… CONTINUE READING