Srinivas Nedunuri, William R. Cook. Synthesis of fast programs for maximum segment sum problems. In Jeremy G. Siek, Bernd Fischer, editors, Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings. pages 117-126, ACM, 2009. [doi]
Abstract is missing.