Welcome to Paraphrase Enlarged

The ParaPhrase–Enlarged project in Budapest (Hungary) aims to produce methodology and technology to automatically and semi-automatically locate parallelizable components in a complex software system, and to propose program transformations which yield significant speedup on a given heterogeneous (CPU and GPU-based) parallel architecture. These results will improve the applicability of the new structured design and implementation process offered by the ParaPhrase project - in this process developers can exploit a variety of parallel patterns to develop component-based applications that can be mapped to the available hardware resources, and which may then be dynamically re-mapped to meet application needs and hardware availability.

Key features

The key features of ParaPhrase and ParaPhrase-Enlarged are the following.

  • Sustainable parallel computing through enhanced programmability and lower power consumption.
  • Cost reduction in programmability and implementation of parallel systems.
  • Better resource utilisation of parallel heterogeneous CPU/GPU architectures.

ParaPhrase- Enlarged in brief
Funding:Seventh Framework Programme (FP7)
Contract number:288570
Total cost (ELTE, ELTE-Soft):€ 209 772
Project start date:July 1., 2013.
Duration:18 months

This work will enable major progress to be made in programming both current and future (parallel) computer systems. Using ParaPhrase and ParaPhrase-Enlarged technologies, we anticipate that we will be able to achieve significant parallel speedups for realistic applications and that these results will scale with larger systems.

News

The prototype of PaRTE was released

The main features of PaRTE are:

  • Pattern Candidate Discovery
  • Pattern Candidate Browser
  • Ranking based on cost models and complexity metrics
  • Set of refactorings to automatically intorduce parallelism
  • Set of refactorings to support manual trasformations
For further information please check the wiki page and Deliverable D4-4!

Tamás Kozsik gave a talk at LambdaDays about divide-and-conquer candidates

Pattern candidate characterization rules were reported in Deliverable D2-13

PaRTE was presented at Erlang Workshop 2014

Refactoring rules were reported in Deliverable D4-5

Tamás Kozsik gave a talk at Erlang User Conference: Where shall I parallelise?

Check our video that was presented at the ParaPhrase Summer School in Dublin.

D2-12 Prototype sources

The prototype implementation of the support analyses for pattern discovery is released.
Pattern candidates are code fragments which are amenable to parallelization by transforming them into applications of high-level parallel patterns. One aim of the ParaPhrase-Enlarged project is to identify pattern candidates in Erlang programs. We reported on different analyses that are required for pattern discovery and assessment in Erlang programs, and hence enable parallelization refactoring. Some of the analyses build upon the results of others, and they may serve different purposes, including the selection of transformable structures, the verification of side conditions and the prioritization of pattern candidates. We proposed, and briefly summarized the operation of the following analyses:

  • scope analyses for modules, functions and variables,
  • static and dynamic function call analyses,
  • data-flow analysis,
  • side-effect analysis and
  • type analysis.

Erlang implementation is included in the archive. The connected delivery (D2-12) can be downloaded in PDF format. For detailed information about the usage of RefactorErl, please visit the official wiki site of RefactorErl.

D4-3 Prototype sources

The prototype implementation of D4-3 that is the user interface of the ParaPhrase Refactoring Tool is released.
Pattern candidates are code fragments which are amenable to parallelization by transforming them into applications of high-level parallel patterns. One aim of the ParaPhrase--Enlarged project is to identify pattern candidates in Erlang programs. We have developed a user interface component (Pattern Candidate Browser) that is capable of presenting pattern candidates, and recommending profitable parallelization transformations. This component presents information in a way that avoids overloading its users with unnecessary details, but which highlights the key decisions that must be made.
Erlang implementation is included in the archive. A brief user manual can be downloaded in PDF format; for detailed information about the usage of RefactorErl, please visit the official wiki site of RefactorErl.

ParaPhrase Project Workshop

The ParaPhrase consortium organizes the second project workshop on 3-4 September 2013 in Stuttgart, Germany. Besides the technical presentations describing recent achievements and the status of each work package, the steering committee will also have a meeting, where project management issues will be discussed. ELTE and ELTE-Soft will both participate in the project workshop, presenting early results on Refactoring User Interfaces (T4.2).

Young researchers visit St Andrews

Two young researchers of ParaPhrase-Enlarged, Melinda Tóth and István Bozó (employed by ELTE-Soft, Hungary) visited the University of St Andrews (UK), where they spent 2 weeks on studying existing results of ParaPhrase, and working on T4.2 (Refactoring User Interface).

Summer school in Cluj-Napoca

Babeş-Bolyai University (Cluj-Napoca, Romania) organized the Domain Specific Languages summer school (5th summer school in the Central-European Functional Programming School series) between 8-20 July, 2013. This school has proven to be a good occasion for project members to meet. Kevin Hammond (University of St Andrews) and Marco Danelutto (University of Pisa) gave interesting lectures related to ParaPhrase achievements. See http://dsl2013.math.ubbclu/ for more details.

The ParaPhrase-Enlarged project has been launched!

The project extends the ParaPhrase consortium with three new members: ELTE-Soft Kft (Budapest, Hungary), Eötvös Loránd University (Budapest, Hungary) and AGH University of Science and Technology (Kraków, Poland). The work has started on 1st July, 2013, and will last until 31st December, 2014.

ParaPhrase's Twitter timeline