Special section on functional paradigm for high performance computing

Abstract This paper is a foreword for the Special Section of Future Generation Computing Systems journal on Functional Paradigm for High-Performance Computing connected with Lambda Days 2017 Conference. In this paper the substance of the special section is located in the current state of the art and the overviews of the four papers constituting this special section are given.

[1]  Erich Strohmaier,et al.  Changing technologies of HPC , 1997, Future Gener. Comput. Syst..

[2]  Zoltán Horváth,et al.  Discovering parallel pattern candidates in Erlang , 2014, Erlang Workshop.

[3]  Serge P. Hoogendoorn,et al.  Genealogy of traffic flow models , 2015, EURO J. Transp. Logist..

[4]  Melinda Tóth,et al.  Free the Conqueror! Refactoring divide-and-conquer functions , 2018, Future Gener. Comput. Syst..

[5]  Zoltán Horváth,et al.  Static Analysis for Divide-and-Conquer Pattern Discovery , 2016, Comput. Informatics.

[6]  Vaughn Vernon.  Reactive Messaging Patterns with the Actor Model: Applications and Integration in Scala and Akka , 2015 .

[7]  Marek Kisiel-Dorohinicki,et al.  Computing agents for decision support systems , 2014, Future Gener. Comput. Syst..

[8]  Michael Schreckenberg,et al.  A cellular automaton model for freeway traffic , 1992 .

[9]  Gerhard Wellein,et al.  FETOL: A Divide-and-Conquer Based Approach for Resilient HPC Applications , 2013 .

[10]  Kevin Hammond,et al.  Automatically deriving cost models for structured parallel processes using hylomorphisms , 2018, Future Gener. Comput. Syst..

[11]  Kevin Hammond,et al.  Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification , 2018, Future Gener. Comput. Syst..

[12]  Simon J. Thompson,et al.  Towards Trustworthy Refactoring in Erlang , 2016, VPT@ETAPS.

[13]  Marta Mattoso,et al.  Dynamic steering of HPC scientific workflows: A survey , 2015, Future Gener. Comput. Syst..

[14]  Krzysztof Cetnarowicz,et al.  Towards Credible Driver Behavior Modeling , 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

[15]  Kevin Hammond,et al.  Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms , 2016, ICFP.

[16]  Horacio González-Vélez,et al.  A survey on statistical disclosure control and micro-aggregation techniques for secure statistical databases , 2010 .

[17]  Krzysztof Cetnarowicz,et al.  Urban traffic simulation using credible driver modeling method , 2017, J. Intell. Fuzzy Syst..

[18]  Georgios Ch. Sirakoulis,et al.  High performance computing in modelling and simulation , 2017, Int. J. High Perform. Comput. Appl..

[19]  Calvin J. Ribbens,et al.  Hybrid Computing - Where HPC meets grid and Cloud Computing , 2011, Future Gener. Comput. Syst..

[20]  Prem Prakash Jayaraman,et al.  A note on new trends in data-aware scheduling and resource provisioning in modern HPC systems , 2015, Future Gener. Comput. Syst..

[21]  Wojciech Turek.  Erlang-based desynchronized urban traffic simulation for high-performance computing systems , 2018, Future Gener. Comput. Syst..

[22]  Marek Kisiel-Dorohinicki,et al.  Agent-oriented Foraminifera Habitat Simulation , 2015, ICCS.

[23]  Christopher Brown,et al.  Towards semi-automatic data-type translation for parallelism in Erlang , 2016, Erlang Workshop.

[24]  Simon Marlow.  Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming , 2013 .