@inproceedings{brown_paraphrasing:_2013,
	address = {Torino, Italy},
	series = {Lecture Notes in Computer Science - Programming and Software Engineering},
	title = {Paraphrasing: Generating Parallel Programs using Refactoring},
	volume = {7542},
	isbn = {978-3-642-35886-9},
	doi = {10.1007/978-3-642-35887-6_13},
	abstract = {Refactoring is the process of changing the structure of a program without changing its behavior. 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.},
	booktitle = {Formal Methods for Components and Objects FMCO},
	publisher = {Springer},
	author = {Brown, Christopher and Hammond, Kevin and Danelutto, Marco and Kilpatrick, Peter and Schöner, Holger and Breddin, Tino},
	year = {2013},
	pages = {237--256},
	file = {download/publications/Brown2013_Paraphrasing.pdf}
}