1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2018
A Simple Methodology for Computing Families of Algorithms
Devangi N. Parikh, Margaret E. Myers, Richard Vuduc +1
Discovering "good" algorithms for an operation is often considered an art best left to experts. What if there is a simple methodology, an algorithm, for systematically deriving a f…
cs.MS2017★ 1 cited
Deriving Correct High-Performance Algorithms
Devangi N. Parikh, Maggie E. Myers, Robert A. van de Geijn
Dijkstra observed that verifying correctness of a program is difficult and conjectured that derivation of a program hand-in-hand with its proof of correctness was the answer. We il…