No abstract available.
Cited By
- Tonci N, Rivault S, Bamha M, Robert S, Limet S and Torquati M (2024). LSH SimilarityJoin Pattern in FastFlow, International Journal of Parallel Programming, 52:3, (207-230), Online publication date: 1-Jun-2024.
- Schmitz A, Miller J, Burak S and Müller M Parallel Pattern Language Code Generation Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores, (32-41)
- Gonnord L, Henrio L, Morel L and Radanne G (2023). A Survey on Parallelism and Determinism, ACM Computing Surveys, 55:10, (1-28), Online publication date: 31-Oct-2023.
- Loulergue F and Ed-Dbali A Verified High Performance Computing: The SyDPaCC Approach Verification and Evaluation of Computer and Communication Systems, (15-29)
- Loulergue F and Philippe J Towards Verified Scalable Parallel Computing with Coq and Spark Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, (11-17)
- Herrmann N and Kuchen H (2023). Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments, International Journal of Parallel Programming, 51:2-3, (172-185), Online publication date: 1-Jun-2023.
- Ernstsson A, Griebler D and Kessler C (2023). Assessing Application Efficiency and Performance Portability in Single-Source Programming for Heterogeneous Parallel Systems, International Journal of Parallel Programming, 51:1, (61-82), Online publication date: 1-Feb-2023.
- Löff J, Hoffmann R, Pieper R, Griebler D and Fernandes L (2022). DSParLib: A C++ Template Library for Distributed Stream Parallelism, International Journal of Parallel Programming, 50:5-6, (454-485), Online publication date: 1-Dec-2022.
- Herrmann N, de Melo Menezes B and Kuchen H (2022). Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments, International Journal of Parallel Programming, 50:5-6, (433-453), Online publication date: 1-Dec-2022.
- Ernstsson A, Vandenbergen N, Keller J and Kessler C (2022). A Deterministic Portable Parallel Pseudo-Random Number Generator for Pattern-Based Programming of Heterogeneous Parallel Systems, International Journal of Parallel Programming, 50:3-4, (319-340), Online publication date: 1-Aug-2022.
- Metzger P, Seeker V, Fensch C and Cole M (2021). Device Hopping, ACM Transactions on Architecture and Code Optimization, 18:4, (1-25), Online publication date: 31-Dec-2022.
- Martínez M, Fraguela B and Cabaleiro J (2021). A Parallel Skeleton for Divide-and-conquer Unbalanced and Deep Problems, International Journal of Parallel Programming, 49:6, (820-845), Online publication date: 1-Dec-2021.
- Ernstsson A, Ahlqvist J, Zouzoula S and Kessler C (2021). SkePU 3: Portable High-Level Programming of Heterogeneous Systems and HPC Clusters, International Journal of Parallel Programming, 49:6, (846-866), Online publication date: 1-Dec-2021.
- Wang F, Sun G and Luo G SSR: A Skeleton-based Synthesis Flow for Hybrid Processing-in-RRAM Modes 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), (1-9)
- Kehrer S, Zietlow D, Scheffold J and Blochinger W (2020). Self-tuning serverless task farming using proactive elasticity control, Cluster Computing, 24:2, (799-817), Online publication date: 1-Jun-2021.
- Wrede F, Rieger C and Kuchen H (2019). Generation of high-performance code based on a domain-specific language for algorithmic skeletons, The Journal of Supercomputing, 76:7, (5098-5116), Online publication date: 1-Jul-2020.
- Öhberg T, Ernstsson A and Kessler C (2019). Hybrid CPU–GPU execution support in the skeleton programming framework SkePU, The Journal of Supercomputing, 76:7, (5038-5056), Online publication date: 1-Jul-2020.
- Niculescu V and Loulergue F (2019). Transforming powerlist-based divide-and-conquer programs for an improved execution model, The Journal of Supercomputing, 76:7, (5016-5037), Online publication date: 1-Jul-2020.
- Loulergue F and Philippe J Automatic Optimization of Python Skeletal Parallel Programs Algorithms and Architectures for Parallel Processing, (183-197)
- Broman D A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, (55-60)
- Pieper R, Griebler D and Fernandes L Structured Stream Parallelism for Rust Proceedings of the XXIII Brazilian Symposium on Programming Languages, (54-61)
- Di Martino B, Esposito A, D'Angelo S, Maisto S and Nacchia S (2019). A Compiler for Agnostic Programming and Deployment of Big Data Analytics on Multiple Platforms, IEEE Transactions on Parallel and Distributed Systems, 30:9, (1920-1931), Online publication date: 1-Sep-2019.
- Morihata A (2019). Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning, Proceedings of the ACM on Programming Languages, 3:ICFP, (1-25), Online publication date: 26-Jul-2019.
- Philippe J and Loulergue F Parallel programming with Coq Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1578-1581)
- Rieger C, Wrede F and Kuchen H Musket Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1534-1543)
- Wrede F, Menezes B and Kuchen H (2019). Fish School Search with Algorithmic Skeletons, International Journal of Parallel Programming, 47:2, (234-252), Online publication date: 1-Apr-2019.
- Griebler D, Hoffmann R, Danelutto M and Fernandes L (2019). High-Level and Productive Stream Parallelism for Dedup, Ferret, and Bzip2, International Journal of Parallel Programming, 47:2, (253-271), Online publication date: 1-Apr-2019.
- Pérez G and Yovine S (2019). Formal specification and implementation of an automated pattern-based parallel-code generation framework, International Journal on Software Tools for Technology Transfer (STTT), 21:2, (183-202), Online publication date: 1-Apr-2019.
- Hosseini Rad M, Patooghy A and Fazeli M (2018). An Efficient Programming Skeleton for Clusters of Multi-Core Processors, International Journal of Parallel Programming, 46:6, (1094-1109), Online publication date: 1-Dec-2018.
- Nerzic P, Jaudoin H and Pivert O (2018). Parallel Processing Strategies for Skyline Queries Tolerant to Outliers, International Journal of Intelligent Systems, 33:10, (1992-2018), Online publication date: 3-Aug-2018.
- Boehm M, Reinwald B, Hutchison D, Sen P, Evfimievski A and Pansare N (2018). On optimizing operator fusion plans for large-scale machine learning in systemML, Proceedings of the VLDB Endowment, 11:12, (1755-1768), Online publication date: 1-Aug-2018.
- Stewart R, Duncan K, Michaelson G, Garcia P, Bhowmik D and Wallace A (2018). RIPL, ACM Transactions on Reconfigurable Technology and Systems, 11:1, (1-24), Online publication date: 31-Mar-2018.
- von Koch T, Manilov S, Vasiladiotis C, Cole M and Franke B Towards a compiler analysis for parallel algorithmic skeletons Proceedings of the 27th International Conference on Compiler Construction, (174-184)
- (2018). Automatically deriving cost models for structured parallel processes using hylomorphisms, Future Generation Computer Systems, 79:P2, (653-668), Online publication date: 1-Feb-2018.
- Cao D, Kang L, Zhan H and Mei H (2017). Towards application-level elasticity on shared cluster, Frontiers of Computer Science: Selected Publications from Chinese Universities, 11:5, (803-820), Online publication date: 1-Oct-2017.
- Hukerikar and Engelmann (2017). Resilience Design Patterns, Supercomputing Frontiers and Innovations: an International Journal, 4:3, (4-42), Online publication date: 15-Sep-2017.
- González C and Fraguela B (2017). A general and efficient divide-and-conquer algorithm framework for multi-core clusters, Cluster Computing, 20:3, (2605-2626), Online publication date: 1-Sep-2017.
- Tóth M, Bozó I and Kozsik T Pattern Candidate Discovery and Parallelization Techniques Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages, (1-26)
- Archibald B, Maier P, Stewart R, Trinder P and De Beule J Towards Generic Scalable Parallel Combinatorial Search Proceedings of the International Workshop on Parallel Symbolic Computation, (1-10)
- Yu J, Hogervorst T and Nane R A Domain-Specific Language and Compiler for Computation-in-Memory Skeletons Proceedings of the Great Lakes Symposium on VLSI 2017, (71-76)
- Wrede F and von Hof V Enabling efficient use of algorithmic skeletons in cloud environments Proceedings of the Symposium on Applied Computing, (1593-1596)
- Steuwer M, Remmelg T and Dubach C Lift: a functional data-parallel IR for high-performance GPU code generation Proceedings of the 2017 International Symposium on Code Generation and Optimization, (74-85)
- Auras-Rodríguez M, Zimmermann A, Ascheid G and Leupers R Using PEGs for Automatic Extraction of Memory Access Descriptions to Support Data-Parallel Pattern Recognition Proceedings of the 8th Workshop and 6th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms, (13-18)
- de Carvalho Junior F, Rezende C, de Carvalho Silva J, Guimarães Al-Alam W and Uchoa de Alencar J (2016). Contextual abstraction in a type system for component-based high performance computing platforms, Science of Computer Programming, 132:P1, (96-128), Online publication date: 15-Dec-2016.
- Bonetta D, Salucci L, Marr S and Binder W (2016). GEMs: shared-memory parallel programming for Node.js, ACM SIGPLAN Notices, 51:10, (531-547), Online publication date: 5-Dec-2016.
- Castro D, Hammond K and Sarkar S (2016). Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms, ACM SIGPLAN Notices, 51:9, (4-17), Online publication date: 5-Dec-2016.
- Wienke S, Miller J, Schulz M and Müller M Development effort estimation in HPC Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, (1-12)
- Danelutto M, De Matteis T, Mencagli G and Torquati M A divide-and-conquer parallel pattern implementation for multicores Proceedings of the 3rd International Workshop on Software Engineering for Parallel Systems, (10-19)
- Bonetta D, Salucci L, Marr S and Binder W GEMs: shared-memory parallel programming for Node.js Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (531-547)
- Behrends R, Hammond K, Janjic V, Konovalov A, Linton S, Loidl H, Maier P and Trinder P (2016). HPC-GAP, Concurrency and Computation: Practice & Experience, 28:13, (3606-3636), Online publication date: 10-Sep-2016.
- Maier P, Morton J and Trinder P JIT costing adaptive skeletons for performance portability Proceedings of the 5th International Workshop on Functional High-Performance Computing, (23-30)
- Castro D, Hammond K and Sarkar S Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, (4-17)
- Sato S and Matsuzaki K (2016). A Generic Implementation of Tree Skeletons, International Journal of Parallel Programming, 44:3, (686-707), Online publication date: 1-Jun-2016.
- Aubrey-Jones T and Fischer B (2016). Synthesizing MPI Implementations from Functional Data-Parallel Programs, International Journal of Parallel Programming, 44:3, (552-573), Online publication date: 1-Jun-2016.
- Dastgeer U and Kessler C (2016). Smart Containers and Skeleton Programming for GPU-Based Systems, International Journal of Parallel Programming, 44:3, (506-530), Online publication date: 1-Jun-2016.
- Tran Tan A, Falcou J, Etiemble D and Kaiser H (2016). Automatic Task-Based Code Generation for High Performance Domain Specific Embedded Language, International Journal of Parallel Programming, 44:3, (449-465), Online publication date: 1-Jun-2016.
- Wang Y and Li Z (2016). GridFOR, International Journal of Parallel Programming, 44:3, (427-448), Online publication date: 1-Jun-2016.
- del Rio Astorga D, Dolz M, Sanchez L and García J Discovering Pipeline Parallel Patterns in Sequential Legacy C++ Codes Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, (11-19)
- Zhang W, Cheng A and Subhlok J (2016). DwarfCode: A Performance Prediction Tool for Parallel Applications, IEEE Transactions on Computers, 65:2, (495-507), Online publication date: 1-Feb-2016.
- McDonell T, Chakravarty M, Grover V and Newton R (2015). Type-safe runtime code generation: accelerate to LLVM, ACM SIGPLAN Notices, 50:12, (201-212), Online publication date: 28-Jan-2016.
- Steuwer M, Fensch C, Lindley S and Dubach C (2015). Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code, ACM SIGPLAN Notices, 50:9, (205-217), Online publication date: 18-Dec-2015.
- McDonagh S, Beyan C, Huang P and Fisher R (2015). Applying semi-synchronised task farming to large-scale computer vision problems, International Journal of High Performance Computing Applications, 29:4, (437-460), Online publication date: 1-Nov-2015.
- Fumero J, Remmelg T, Steuwer M and Dubach C Runtime Code Generation and Data Management for Heterogeneous Computing in Java Proceedings of the Principles and Practices of Programming on The Java Platform, (16-26)
- McDonell T, Chakravarty M, Grover V and Newton R Type-safe runtime code generation: accelerate to LLVM Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, (201-212)
- Steuwer M, Fensch C, Lindley S and Dubach C Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, (205-217)
- Zandifar M, Abdul Jabbar M, Majidi A, Keyes D, Amato N and Rauchwerger L Composing Algorithmic Skeletons to Express High-Performance Scientific Applications Proceedings of the 29th ACM on International Conference on Supercomputing, (415-424)
- Barbieri D, Cardellini V and Filippone S SIMPL Proceedings of the 2015 International Workshop on Software Engineering for High Performance Computing in Science, (38-45)
- Hammond K, Brown C and Sarkar S Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores 4th International Workshop on Foundational and Practical Aspects of Resource Analysis - Volume 9964, (101-125)
- Fernando S, Wijtvliet M, Nugteren C, Kumar A and Corporaal H (AS)2 Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (305-308)
- Nugteren C and Corporaal H (2014). Bones, ACM Transactions on Architecture and Code Optimization, 11:4, (1-25), Online publication date: 9-Jan-2015.
- Estérie P, Falcou J, Gaunard M, Lapresté J and Lacassagne L (2014). The numerical template toolbox, Journal of Parallel and Distributed Computing, 74:12, (3240-3253), Online publication date: 1-Dec-2014.
- Liu C, Zhang J, Zhou H, McDirmid S, Guo Z and Moscibroda T Automating Distributed Partial Aggregation Proceedings of the ACM Symposium on Cloud Computing, (1-12)
- Duke D, Hosseini F and Carr H Parallel computation of multifield topology Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, (11-21)
- Totoo P and Loidl H Lazy data-oriented evaluation strategies Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, (63-74)
- Bozó I, Fordós V, Horvath Z, Tóth M, Horpácsi D, Kozsik T, Köszegi J, Barwell A, Brown C and Hammond K Discovering parallel pattern candidates in Erlang Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, (13-23)
- Khammassi N and Le Lann J A high-level programming model to ease pipeline parallelism expression on shared memory multicore architectures Proceedings of the High Performance Computing Symposium, (1-8)
- Totoo P and Loidl H (2014). Parallel Haskell implementations of the N-body problem, Concurrency and Computation: Practice & Experience, 26:4, (987-1019), Online publication date: 25-Mar-2014.
- Loidl H and Singer J (2014). SICSA multicore challenge editorial preface, Concurrency and Computation: Practice & Experience, 26:4, (929-934), Online publication date: 25-Mar-2014.
- Goli M and González-Vélez H (2014). N-body computations using skeletal frameworks on multicore CPU/graphics processing unit architectures, Concurrency and Computation: Practice & Experience, 26:4, (972-986), Online publication date: 25-Mar-2014.
- Loulergue F, Robillard S, Tesson J, Legaux J and Hu Z Formal derivation and extraction of a parallel program for the all nearest smaller values problem Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1577-1584)
- Pabón G and Henrio L Self-Configuration and Self-Optimization Autonomic Skeletons using Events Proceedings of Programming Models and Applications on Multicores and Manycores, (21-28)
- Pabón G and Henrio L Self-Configuration and Self-Optimization Autonomic Skeletons using Events Proceedings of Programming Models and Applications on Multicores and Manycores, (21-28)
- Clifton-Everest R, Mcdonell T, Chakravarty M and Keller G Embedding Foreign Code Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages - Volume 8324, (136-151)
- Jordan H, Pellegrini S, Thoman P, Kofler K and Fahringer T INSPIRE Proceedings of the 22nd international conference on Parallel architectures and compilation techniques, (7-18)
- Nugteren C, Custers P and Corporaal H Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification Revised Selected Papers of the 10th International Symposium on Advanced Parallel Processing Technologies - Volume 8299, (184-198)
- Dastgeer U, Li L and Kessler C Adaptive Implementation Selection in the SkePU Skeleton Programming Library Revised Selected Papers of the 10th International Symposium on Advanced Parallel Processing Technologies - Volume 8299, (170-183)
- Legaux J, Hu Z, Loulergue F, Matsuzaki K and Tesson J Programming with BSP homomorphisms Proceedings of the 19th international conference on Parallel Processing, (446-457)
- Nanz S, West S and da Silveira K Examining the expert gap in parallel programming Proceedings of the 19th international conference on Parallel Processing, (434-445)
- Bonetta D, Binder W and Pautasso C (2013). TigerQuoll, ACM SIGPLAN Notices, 48:8, (251-260), Online publication date: 23-Aug-2013.
- Riché T, Gonçalves R, Marker B and Batory D (2012). Pushouts in software architecture design, ACM SIGPLAN Notices, 48:3, (84-92), Online publication date: 10-Apr-2013.
- Maier P, Stewart R and Trinder P Reliable scalable symbolic computation Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1674-1681)
- Bonetta D, Binder W and Pautasso C TigerQuoll Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, (251-260)
- Nugteren C, Custers P and Corporaal H (2013). Algorithmic species, ACM Transactions on Architecture and Code Optimization, 9:4, (1-25), Online publication date: 1-Jan-2013.
- Palyart M, Ober I, Lugato D and Bruel J HPCML Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing, (1-6)
- Riché T, Gonçalves R, Marker B and Batory D Pushouts in software architecture design Proceedings of the 11th International Conference on Generative Programming and Component Engineering, (84-92)
- Totoo P, Deligiannis P and Loidl H Haskell vs. f# vs. scala Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, (49-60)
- Nelson J Co-ops Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop, (61-62)
- Aldinucci M, Campa S, Kilpatrick P and Torquati M Structured data access annotations for massively parallel computations Proceedings of the 18th international conference on Parallel processing workshops, (381-390)
- Joshi P, Bourges-Sévenier M, Russell K and Mo Z Graphics programming for the web ACM SIGGRAPH 2012 Courses, (1-75)
- Lobachev O Parallel computation skeletons with premature termination property Proceedings of the 11th international conference on Functional and Logic Programming, (197-212)
- Nugteren C and Corporaal H The boat hull model Proceedings of the 9th conference on Computing Frontiers, (203-212)
- Nugteren C and Corporaal H Introducing 'Bones' Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, (1-10)
- Burrows E and Haveraaen M Programmable data dependencies and placements Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, (31-40)
- Marlow S, Newton R and Peyton Jones S (2011). A monad for deterministic parallelism, ACM SIGPLAN Notices, 46:12, (71-82), Online publication date: 12-Jan-2012.
- Marlow S, Newton R and Peyton Jones S A monad for deterministic parallelism Proceedings of the 4th ACM symposium on Haskell, (71-82)
- Mu S and Morihata A Generalising and dualising the third list-homomorphism theorem Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (385-391)
- Morihata A and Matsuzaki K Balanced trees inhabiting functional parallel programming Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (117-128)
- Gava F, Gesbert L and Loulergue F Type system for a safe execution of parallel programs in BSML Proceedings of the fifth international workshop on High-level parallel programming and applications, (27-34)
- Armih K, Michaelson G and Trinder P Cache size in a cost model for heterogeneous skeletons Proceedings of the fifth international workshop on High-level parallel programming and applications, (3-10)
- Mu S and Morihata A (2011). Generalising and dualising the third list-homomorphism theorem, ACM SIGPLAN Notices, 46:9, (385-391), Online publication date: 18-Sep-2011.
- Morihata A and Matsuzaki K (2011). Balanced trees inhabiting functional parallel programming, ACM SIGPLAN Notices, 46:9, (117-128), Online publication date: 18-Sep-2011.
- Javed N and Loulergue F Verification of a heat diffusion simulation written with orléans skeleton library Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II, (91-100)
- Aldinucci M, Danelutto M, Kilpatrick P, Meneghin M and Torquati M Accelerating code on multi-cores with fastflow Proceedings of the 17th international conference on Parallel processing - Volume Part II, (170-181)
- Hammond K Why parallel functional programming matters Proceedings of the 16th Ada-Europe international conference on Reliable software technologies, (201-205)
- Loogen R Eden --- parallel functional programming with haskell Proceedings of the 4th Summer School conference on Central European Functional Programming School, (142-206)
- Dastgeer U, Enmyren J and Kessler C Auto-tuning SkePU Proceedings of the 4th International Workshop on Multicore Software Engineering, (25-32)
- Berthold J, Filinski A, Henglein F, Larsen K, Steffensen M and Vinter B Functional high performance financial IT Proceedings of the 12th international conference on Trends in Functional Programming, (98-113)
- Newburn C, So B, Liu Z, McCool M, Ghuloum A, Toit S, Wang Z, Du Z, Chen Y, Wu G, Guo P, Liu Z and Zhang D Intel's Array Building Blocks Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization, (224-235)
- Bonetta D and Pautasso C Towards liquid service oriented architectures Proceedings of the 20th international conference companion on World wide web, (337-342)
- Mejía I, Südholt M and Navarro L A study of invasive composition for the evolution of a health information system Proceedings of the 2nd international workshop on Variability & composition, (7-11)
- Mejía I Towards a proper aspect-oriented model for distributed systems Proceedings of the tenth international conference on Aspect-oriented software development companion, (83-84)
- The SCIEnce project (2011). SymGrid-Par, ACM Communications in Computer Algebra, 44:3/4, (213-216), Online publication date: 28-Jan-2011.
- Chakravarty M, Keller G, Lee S, McDonell T and Grover V Accelerating Haskell array codes with multicore GPUs Proceedings of the sixth workshop on Declarative aspects of multicore programming, (3-14)
- Marlow S, Maier P, Loidl H, Aswad M and Trinder P (2010). Seq no more, ACM SIGPLAN Notices, 45:11, (91-102), Online publication date: 17-Nov-2010.
- Marlow S, Maier P, Loidl H, Aswad M and Trinder P Seq no more Proceedings of the third ACM Haskell symposium on Haskell, (91-102)
- Lobachev O and Loogen R Estimating parallel performance, a skeleton-based approach Proceedings of the fourth international workshop on High-level parallel programming and applications, (25-34)
- Matsuzaki K and Emoto K Lessons from implementing the biCGStab method with SkeTo library Proceedings of the fourth international workshop on High-level parallel programming and applications, (15-24)
- Enmyren J and Kessler C SkePU Proceedings of the fourth international workshop on High-level parallel programming and applications, (5-14)
- Aldinucci M, Bracciali A, Lio P, Sorathiya A and Torquati M StochKit-FF Proceedings of the 2010 conference on Parallel processing, (167-175)
- Leyton M, Henrio L and Piquer J Exceptions for algorithmic skeletons Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II, (14-25)
- Ptaszek M and Malawski M ComputErl - erlang-based framework for many task computing Proceedings of the 11th international conference on Trends in functional programming, (184-197)
- Gesbert L, Gava F, Loulergue F and Dabrowski F (2010). Bulk synchronous parallel ML with exceptions, Future Generation Computer Systems, 26:3, (486-490), Online publication date: 1-Mar-2010.
- Mou Z, Liu H and Hudak P Compress-and-conquer for optimal multicore computing Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming, (35-44)
- Kambadur P, Gupta A, Ghoting A, Avron H and Lumsdaine A PFunc Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, (1-11)
- Yu Y, Gunda P and Isard M Distributed aggregation for data-parallel computing Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, (247-260)
- Matsuzaki K and Emoto K Implementing fusion-equipped parallel skeletons by expression templates Proceedings of the 21st international conference on Implementation and application of functional languages, (72-89)
- Berthold J, Dieterle M, Lobachev O and Loogen R Parallel FFT with Eden Skeletons Proceedings of the 10th International Conference on Parallel Computing Technologies, (73-83)
- Berthold J, Dieterle M and Loogen R Implementing Parallel Google Map-Reduce in Eden Proceedings of the 15th International Euro-Par Conference on Parallel Processing, (990-1002)
- Kirschenmann W, Plagne L and Vialle S Multi-target C++ implementation of parallel skeletons Proceedings of the 8th workshop on Parallel/High-Performance Object-Oriented Scientific Computing, (1-10)
- Al Zain A, Hammond K, Berthold J, Trinder P, Michaelson G and Aswad M Low-pain, high-gain multicore programming in Haskell Proceedings of the 4th workshop on Declarative aspects of multicore programming, (25-36)
- Aldinucci M, Danelutto M, Bouziane H and Pérez C Towards software component assembly language enhanced with workflows and skeletons Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, (1-11)
- Ålind M, Eriksson M and Kessler C BlockLib Proceedings of the 1st international workshop on Multicore software engineering, (7-14)
- Ce Y, Zhen X, Ji-zhou S, Xiao-jing M, Yan-yan H and Hua-bei W (2008). ParaModel, ACM SIGPLAN Notices, 43:4, (4-10), Online publication date: 1-Apr-2008.
- de Carvalho-Junior F and Lins R (2008). An Institutional Theory for #-Components, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (113-132), Online publication date: 1-Jan-2008.
- Caromel D, di Costanzo A, Baduel L and Matsuoka S Grid'BnB Proceedings of the 14th international conference on High performance computing, (566-579)
- Caromel D, di Costanzo A, Baduel L and Matsuoka S Grid’BnB: A Parallel Branch and Bound Framework for Grids High Performance Computing – HiPC 2007, (566-579)
- Vanneschi M and Veraldi L (2007). Dynamicity in distributed applications, Parallel Computing, 33:12, (822-845), Online publication date: 1-Dec-2007.
- Navarro L, Südholt M, Douence R and Menaud J Invasive patterns for distributed programs Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I, (772-789)
- Benavides Navarro L, Südholt M, Douence R and Menaud J Invasive Patterns for Distributed Programs On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, (772-789)
- Carvalho-Junior F, Lins R, Corrês R, Araújo G and Silva J On the design of abstract binding connectors for high performance computing component models Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing, (67-76)
- Sobral J SkelJ Proceedings of the 7th international conference on Parallel processing and applied mathematics, (1114-1121)
- Benheddi R and Loulergue F Divide-and-conquer parallel programming with minimally synchronous parallel ML Proceedings of the 7th international conference on Parallel processing and applied mathematics, (1078-1085)
- Emoto K, Matsuzaki K, Hu Z and Takeichi M Domain-specific optimization strategy for skeleton programs Proceedings of the 13th international Euro-Par conference on Parallel Processing, (705-714)
- Hammond K, Al Zain A, Cooperman G, Petcu D and Trinder P SymGrid Proceedings of the 13th international Euro-Par conference on Parallel Processing, (457-466)
- Caromel D and Leyton M Fine tuning algorithmic skeletons Proceedings of the 13th international Euro-Par conference on Parallel Processing, (72-81)
- de la Encina A, Llana L, Rubio F and Hidalgo-Herrero M Observing intermediate structures in a parallel lazy functional language Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, (109-120)
- Morita K, Morihata A, Matsuzaki K, Hu Z and Takeichi M Automatic inversion generates divide-and-conquer parallel programs Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, (146-155)
- Morita K, Morihata A, Matsuzaki K, Hu Z and Takeichi M (2007). Automatic inversion generates divide-and-conquer parallel programs, ACM SIGPLAN Notices, 42:6, (146-155), Online publication date: 10-Jun-2007.
- Riesco A and Verdejo A Distributed applications implemented in maude with parameterized skeletons Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems, (91-106)
- Dittmann F Algorithmic skeletons for the programming of reconfigurable systems Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (358-367)
- González-Véléz H and Cole M Adaptive structured parallelism for computational grids Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, (140-141)
- González-Vélez H and Cole M Towards fully adaptive pipeline parallelism for heterogeneous distributed environments Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications, (916-926)
- Grelck C and Scholz S (2006). Merging compositions of array skeletons in SAC, Parallel Computing, 32:7, (507-522), Online publication date: 1-Sep-2006.
- González-Vélez H (2006). Self-adaptive skeletal task farm for computational grids, Parallel Computing, 32:7, (479-490), Online publication date: 1-Sep-2006.
- Deng X, Michaelson G and Trinder P (2006). Autonomous mobility skeletons, Parallel Computing, 32:7, (463-478), Online publication date: 1-Sep-2006.
- Ranaldo N and Zimeo E A transparent framework for hierarchical master-slave grid computing Proceedings of the CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics conference on Parallel processing, (74-86)
- Nijhuis M, Bos H and Bal H Supporting reconfigurable parallel multimedia applications Proceedings of the 12th international conference on Parallel Processing, (765-776)
- Priebe S Dynamic task generation and transformation within a nestable workpool skeleton Proceedings of the 12th international conference on Parallel Processing, (615-624)
- Emoto K, Matsuzaki K, Hu Z and Takeichi M Surrounding theorem Proceedings of the 12th international conference on Parallel Processing, (605-614)
- Matsuzaki K, Hu Z and Takeichi M Towards automatic parallelization of tree reductions in dynamic programming Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures, (39-48)
- Čiegis R and Baravykaitė M Implementation of a black-box global optimization algorithm with a parallel branch and bound template Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing, (1115-1125)
- Nitsche T Coordinating computation with communication Proceedings of the 8th international conference on Coordination Models and Languages, (212-227)
- Yaikhom G, Cole M and Gilmore S Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel mean value analysis algorithm Proceedings of the 6th international conference on Computational Science - Volume Part II, (929-936)
- Díaz M, Romero S, Rubio B, Soler E and Troya J Using SBASCO to solve reaction-diffusion equations in two-dimensional irregular domains Proceedings of the 6th international conference on Computational Science - Volume Part II, (912-919)
- Loulergue F A calculus of functional BSP programs with projection Proceedings of the 20th international conference on Parallel and distributed processing, (264-264)
- Akon M, Singh A, Goswami D and Li H Extensible parallel architectural skeletons Proceedings of the 12th international conference on High Performance Computing, (290-301)
- Anvik J, Schaeffer J, Szafron D and Tan K (2005). Asserting the utility of CO2P3S using the Cowichan Problem Set, Journal of Parallel and Distributed Computing, 65:12, (1542-1557), Online publication date: 1-Dec-2005.
- Chalabine M and Kessler C Parallelisation of sequential programs by invasive composition and aspect weaving Proceedings of the 6th international conference on Advanced Parallel Processing Technologies, (131-140)
- de la Encina A, Rodríguez I and Rubio F Testing speculative work in a lazy/eager parallel functional language Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing, (274-288)
- Buenabad-Chávez J, Castro-García M and Román-Alonso G Simple, list-based parallel programming with transparent load balancing Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, (920-927)
- Akon M, Goswami D and Li H A model for designing and implementing parallel applications using extensible architectural skeletons Proceedings of the 8th international conference on Parallel Computing Technologies, (367-380)
- Benoit A, Cole M, Gilmore S and Hillston J Flexible skeletal programming with eskel Proceedings of the 11th international Euro-Par conference on Parallel Processing, (761-770)
- de Carvalho Junior F and Lins R Using aspects for supporting procedural modules in # programming Proceedings of the 11th international Euro-Par conference on Parallel Processing, (730-739)
- González-Vélez H An adaptive skeletal task farm for grids Proceedings of the 11th international Euro-Par conference on Parallel Processing, (401-410)
- Grelck C (2005). Shared memory multiprocessor support for functional array processing in SAC, Journal of Functional Programming, 15:3, (353-401), Online publication date: 1-May-2005.
- Loogen R, Ortega-mallén Y and Peña-marí R (2005). Parallel functional programming in Eden, Journal of Functional Programming, 15:3, (431-475), Online publication date: 1-May-2005.
- Kuang H, Bic L and Dillencourt M (2005). PODC, Journal of Parallel and Distributed Computing, 65:4, (506-518), Online publication date: 1-Apr-2005.
- de Carvalho F and Lins R The # model Proceedings of the 2005 ACM symposium on Applied computing, (1357-1364)
- González-Vélez H On the abstraction of message-passing communications using algorithmic skeletons Proceedings of the 5th international conference on Advanced Distributed Systems, (43-50)
- Coudarcher R, Duculty F, Serot J, Jurie F, Derutin J and Dhome M (2005). Managing algorithmic skeleton nesting requirements in realistic image processing applications, EURASIP Journal on Advances in Signal Processing, 2005, (1005-1023), Online publication date: 1-Jan-2005.
- Akon M, Goswami D and Li H SuperPAS Proceedings of the Second international conference on Parallel and Distributed Processing and Applications, (985-996)
- Kessler C A practical access to the theory of parallel algorithms Proceedings of the 35th SIGCSE technical symposium on Computer science education, (397-401)
- Kessler C (2004). A practical access to the theory of parallel algorithms, ACM SIGCSE Bulletin, 36:1, (397-401), Online publication date: 1-Mar-2004.
- Tan K, Szafron D, Schaeffer J, Anvik J and MacDonald S (2003). Using generative design patterns to generate parallel code for a distributed memory environment, ACM SIGPLAN Notices, 38:10, (203-215), Online publication date: 1-Oct-2003.
- Martínez R and Peña R Building an interface between eden and maple Proceedings of the 15th international conference on Implementation of Functional Languages, (135-151)
- Loidl H, Rubio F, Scaife N, Hammond K, Horiguchi S, Klusik U, Loogen R, Michaelson G, Peña R, Priebe S, Rebón Á and Trinder P (2003). Comparing Parallel Functional Languages, Higher-Order and Symbolic Computation, 16:3, (203-251), Online publication date: 1-Sep-2003.
- Tan K, Szafron D, Schaeffer J, Anvik J and MacDonald S Using generative design patterns to generate parallel code for a distributed memory environment Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, (203-215)
- Loulergue F Parallel superposition for bulk synchronous parallel ML Proceedings of the 2003 international conference on Computational science: PartIII, (223-232)
- Rubio F and Rodríguez I A parallel framework for computational science Proceedings of the 2003 international conference on Computational science: PartII, (1002-1011)
- Rabhi F Skeleton-based programming environments Patterns and skeletons for parallel and distributed computing, (187-208)
- Pelagatti S Task and data parallelism in P3L Patterns and skeletons for parallel and distributed computing, (155-186)
- Loogen R, Ortega Y, Peña R, Priebe S and Rubio F Parallelism abstractions in eden Patterns and skeletons for parallel and distributed computing, (95-128)
- Gorlatch S SAT Patterns and skeletons for parallel and distributed computing, (29-63)
- Fischer J, Gorlatch S and Bischof H Foundations of data-parallel skeletons Patterns and skeletons for parallel and distributed computing, (1-27)
- Sérot J and Ginhac D (2002). Skeletons for parallel image processing, Parallel Computing, 28:12, (1685-1708), Online publication date: 1-Dec-2002.
- Laforenza D (2002). Grid programming, Parallel Computing, 28:12, (1733-1752), Online publication date: 1-Dec-2002.
- Kuchen H and Striegnitz J Higher-order functions and partial applications for a C++ skeleton library Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (122-130)
- Benkrid K, Crookes D and Benkrid A (2002). Towards a general framework for FPGA based image processing using hardware skeletons, Parallel Computing, 28:7-8, (1141-1154), Online publication date: 1-Aug-2002.
- Vazhkudai S and Schopf J Predicting Sporadic Grid Data Transfers Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
- Aversa R, Di Martino B, Mazzocca N and Venticinque S Mobile agent programming for clusters with parallel skeletons Proceedings of the 5th international conference on High performance computing for computational science, (622-635)
- Danelutto M and Teti P Lithium Proceedings of the International Conference on Computational Science-Part II, (844-853)
- Vazhkudai S, Schopf J and Foster I Predicting the Performance of Wide Area Data Transfers Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Goswami D, Singh A and Preiss B (2002). From Design Patterns to Parallel Architectural Skeletons, Journal of Parallel and Distributed Computing, 62:4, (669-695), Online publication date: 1-Apr-2002.
- Loidl H Load balancing in a parallel graph reducer Trends in functional programming, (63-74)
- Cook A, Ireland A and Michaelson G Higher Order Function Synthesis Through Proof Planning Proceedings of the 16th IEEE international conference on Automated software engineering
- Peña R and Rubio F Parallel functional programming at two levels of abstraction Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, (187-198)
- Vazhenin A and Mirenkov N (2001). Visual Programming System VIM, Programming and Computing Software, 27:4, (217-226), Online publication date: 1-Jul-2001.
- Shafarenko A (2000). A symmetry-based formalism for array subtyping, ACM SIGAPL APL Quote Quad, 31:3, (41-52), Online publication date: 1-Mar-2001.
- Shafarenko A A symmetry-based formalism for array subtyping Proceedings of the international conference on APL-Berlin-2000 conference, (41-52)
- Cole M and Zavanella A Activity graphs Proceedings of the 2000 ACM symposium on Applied computing - Volume 1, (255-261)
- Hasselbring W (2000). Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys, 32:1, (43-79), Online publication date: 1-Mar-2000.
- Gorlatch S (2000). Toward Formally-Based Design of Message Passing Programs, IEEE Transactions on Software Engineering, 26:3, (276-288), Online publication date: 1-Mar-2000.
- Di Martino B and Keβler C (2000). Two Program Comprehension Tools for Automatic Parallelization, IEEE Concurrency, 8:1, (37-47), Online publication date: 1-Jan-2000.
- Nishimura S and Ohori A (1999). Parallel functional programming on recursively defined data via data-parallel recursion, Journal of Functional Programming, 9:4, (427-462), Online publication date: 1-Jul-1999.
- Decker K and Johnson M (1998). Application Specification and Software Reuse in Parallel Scientific Computing, IEEE Concurrency, 6:2, (71-77), Online publication date: 1-Apr-1998.
- Hu Z, Takeichi M and Chin W Parallelization in calculational forms Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (316-328)
- Wallace A, Michaelson G, Scaife N and Austin W (1998). A Dual Source, Parallel Architecture for Computer Vision, The Journal of Supercomputing, 12:1-2, (37-56), Online publication date: 1-Jan-1998.
- Lengauer C, Gorlatch S and Herrmann C (1997). The Static Parallelization of Loops and Recursions, The Journal of Supercomputing, 11:4, (333-353), Online publication date: 1-Dec-1997.
- Couch A Chaos Out of Order: A Simple, Scalable File Distribution Facility For 'Intentionally Heterogeneous' Networks Proceedings of the 11th USENIX conference on System administration, (169-178)
- Talia D (1997). Parallel computation still not ready for the mainstream, Communications of the ACM, 40:7, (98-99), Online publication date: 1-Jul-1997.
- Wagner A, Sreekantaswamy H and Chanson S (1997). Performance Models for the Processor Farm Paradigm, IEEE Transactions on Parallel and Distributed Systems, 8:5, (475-489), Online publication date: 1-May-1997.
- Mirenkov N and Mirenkova T Program Synthesis from Film Specifications Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
- Singh A, Schaeffer J and Szafron D Views on template-based parallel programming Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
- Lo V, Rajopadhye S, Telle J and Zhong X (1996). Parallel Divide and Conquer on Meshes, IEEE Transactions on Parallel and Distributed Systems, 7:10, (1049-1058), Online publication date: 1-Oct-1996.
- Fang N Engineering Parallel Algorithms Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
- Botorog G and Kuchen H Skil Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
- Darlington J, Guo Y, To H and Yang J (1995). Parallel skeletons for structured composition, ACM SIGPLAN Notices, 30:8, (19-28), Online publication date: 1-Aug-1995.
- Darlington J, Guo Y, To H and Yang J Parallel skeletons for structured composition Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, (19-28)
- Wilson G, Schaeffer J and Szafron D Enterprise in context Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (999-1010)
- Cox S, Huang S, Kelly P, Liu J and Taylor F (1993). Program transformations for static process networks, ACM SIGPLAN Notices, 28:1, (60-63), Online publication date: 1-Jan-1993.
- Bahrami F, Jordao R, Sander I and Söderquist I Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems, ACM Transactions on Embedded Computing Systems, 0:0
Index Terms
- Algorithmic skeletons: structured management of parallel computation
Recommendations
From 3D Discrete Surface Skeletons to Curve Skeletons
ICIAR '08: Proceedings of the 5th international conference on Image Analysis and RecognitionAn algorithm to compute the curve skeleton of a 3D object starting from its surface skeleton is presented. The voxels of the surface skeleton are suitably classified to compute the geodesic distance transform of the surface skeleton and to identify ...
A parallel SML compiler based on algorithmic skeletons
Algorithmic skeletons are abstractions from common patterns of parallel activity which offer a high degree of reusability for developers of parallel algorithms. Their close association with higher order functions (HOFs) makes functional languages, with ...
Composing Algorithmic Skeletons to Express High-Performance Scientific Applications
ICS '15: Proceedings of the 29th ACM on International Conference on SupercomputingAlgorithmic skeletons are high-level representations for parallel programs that hide the underlying parallelism details from program specification. These skeletons are defined in terms of higher-order functions that can be composed to build larger ...