Skip to content

Research at St Andrews

Discovering parallel pattern candidates in Erlang

Research output: Chapter in Book/Report/Conference proceedingConference contribution



Istvan Bozo, Viktoria Fordos, Zoltan Horvath, Melinda Toth, Daniel Horpacsi, Tamas Kozsik, Judit Koszegi, Adam David Barwell, Christopher Mark Brown, Kevin Hammond

School/Research organisations


The ParaPhrase Refactoring Tool for Erlang (PaRTE) provides automatic, comprehensive and reliable pattern candidate discovery to locate parallelisable components in Erlang programs. It uses semi-automatic and semantics-preserving program transformations to reshape source code and to introduce high level parallel patterns that can be mapped adaptively to the available hardware resources. This paper describes the main PaRTE tools and demonstrates that significant parallel speedups can be obtained.


Original languageEnglish
Title of host publicationErlang '14 Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang
Place of PublicationNew York, NY
Number of pages10
ISBN (Print)9781450330381
Publication statusPublished - 3 Sep 2014

    Research areas

  • Parallelism, Patterns, Erlang, Static Analysis, Software engineering, Tools

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. A hybrid approach to parallel pattern discovery in C++

    Brown, C. M., Janjic, V., Barwell, A. D., Thomson, J. D., Castañeda Lozano, R., Cole, M., Franke, B., Garcia-Sanchez, J. D., Del Rio Astorga, D. & MacKenzie, K., 1 Dec 2019, (Accepted/In press) 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE Computer Society

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Reasoning about non-functional properties using compiler intrinsic function annotations

    Jadhav, S., Roth, M., Falk, H., Brown, C. M. & Barwell, A. D., 6 Nov 2019, Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing. INP ENSEEIHT/IRIT, p. 25-28 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 (PPDP '19). New York: ACM, p. 1-15 15 p. 6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C., Barwell, A. & Hammond, K., 24 Jun 2019, In : Concurrency and Computation : Practice and Experience. Early View, p. 1-25 25 p., e5420.

    Research output: Contribution to journalArticle

ID: 167392237