Paraphrasing: Generating parallel programs using refactoring

Chris Brown; K. Hammond; M. Danelutto; P. Kilpatrick; H. Schöner; T. Breddin

doi:10.1007/978-3-642-35887-6-13

Paraphrasing: Generating parallel programs using refactoring

Chris Brown, K. Hammond, M. Danelutto, P. Kilpatrick, H. Schöner, T. Breddin

Research output: Chapter in Book/Report/Conference proceeding › Chapter

12 Citations (Scopus)

Abstract

Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules.

Original language	English
Title of host publication	Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering)
Pages	237-256
Number of pages	20
Volume	7542 LNCS
DOIs	https://doi.org/10.1007/978-3-642-35887-6-13
Publication status	Published - 03 Jan 2013

Access to Document

10.1007/978-3-642-35887-6-13

Cite this

Brown, C., Hammond, K., Danelutto, M., Kilpatrick, P., Schöner, H., & Breddin, T. (2013). Paraphrasing: Generating parallel programs using refactoring. In Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering) (Vol. 7542 LNCS, pp. 237-256) https://doi.org/10.1007/978-3-642-35887-6-13

@inbook{4b3ffe79725240a291cfa3129ca9215c,

title = "Paraphrasing: Generating parallel programs using refactoring",

abstract = "Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules.",

author = "Chris Brown and K. Hammond and M. Danelutto and P. Kilpatrick and H. Sch{\"o}ner and T. Breddin",

year = "2013",

month = jan,

day = "3",

doi = "10.1007/978-3-642-35887-6-13",

language = "English",

isbn = "9783642358869",

volume = "7542 LNCS",

pages = "237--256",

booktitle = "Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering)",

}

Brown, C, Hammond, K, Danelutto, M, Kilpatrick, P, Schöner, H & Breddin, T 2013, Paraphrasing: Generating parallel programs using refactoring. in Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering) . vol. 7542 LNCS, pp. 237-256. https://doi.org/10.1007/978-3-642-35887-6-13

Paraphrasing: Generating parallel programs using refactoring. / Brown, Chris; Hammond, K.; Danelutto, M. et al.
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering) . Vol. 7542 LNCS 2013. p. 237-256.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Paraphrasing

T2 - Generating parallel programs using refactoring

AU - Brown, Chris

AU - Hammond, K.

AU - Danelutto, M.

AU - Kilpatrick, P.

AU - Schöner, H.

AU - Breddin, T.

PY - 2013/1/3

Y1 - 2013/1/3

N2 - Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules.

AB - Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules.

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84883275458&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-35887-6-13

DO - 10.1007/978-3-642-35887-6-13

M3 - Chapter

AN - SCOPUS:84883275458

SN - 9783642358869

VL - 7542 LNCS

SP - 237

EP - 256

BT - Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering)

ER -

Brown C, Hammond K, Danelutto M, Kilpatrick P, Schöner H, Breddin T. Paraphrasing: Generating parallel programs using refactoring. In Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering) . Vol. 7542 LNCS. 2013. p. 237-256 doi: 10.1007/978-3-642-35887-6-13

Paraphrasing: Generating parallel programs using refactoring

Abstract

Access to Document

Other files and links

Fingerprint

Cite this