Imperial College London

ProfessorPaulKelly

Faculty of EngineeringDepartment of Computing

Professor of Software Technology
 
 
 
//

Contact

 

+44 (0)20 7594 8332p.kelly Website

 
 
//

Location

 

Level 3 (upstairs), William Penney Building, room 304William Penney LaboratorySouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Bolten:2017:10.1002/cpe.4105,
author = {Bolten, M and Franchetti, F and Kelly, PHJ and Lengauer, C and Mohr, M},
doi = {10.1002/cpe.4105},
journal = {Concurrency and Computation: Practice and Experience},
title = {Algebraic description and automatic generation of multigrid methods in SPIRAL},
url = {http://dx.doi.org/10.1002/cpe.4105},
volume = {29},
year = {2017}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - SPIRAL is an autotuning, program generation and code synthesis system that offers a fully automaticgeneration of highly optimized target codes, customized for the specific execution platform at hand. Initially,SPIRAL was targeted at problem domains in digital signal processing, later also at basic linear algebra.We open SPIRAL up to a new, practically relevant and challenging domain: multigrid solvers. SPIRAL isdriven by algebraic transformation rules. We specify a set of such rules for a simple multigrid solver with aRichardson smoother for a discretized square 2D Poisson equation with Dirichlet boundary conditions. Wepresent the target code that SPIRAL generates in static single-assignment form and discuss its performance.While this example required no changes of or extensions to the SPIRAL system, more complex multigridsolvers may require small adaptations.
AU - Bolten,M
AU - Franchetti,F
AU - Kelly,PHJ
AU - Lengauer,C
AU - Mohr,M
DO - 10.1002/cpe.4105
PY - 2017///
SN - 1532-0634
TI - Algebraic description and automatic generation of multigrid methods in SPIRAL
T2 - Concurrency and Computation: Practice and Experience
UR - http://dx.doi.org/10.1002/cpe.4105
UR - http://hdl.handle.net/10044/1/44145
VL - 29
ER -