Filters








8,099 Hits in 8.2 sec

A transformational framework for skeletal programs: Overview and case study [chapter]

Sergei Gorlatch, Susanna Pelagatti
Lecture Notes in Computer Science  
The framework includes a new functional abstract notation for expressing parallel algorithms, a set of semantics-preserving transformation rules, and analytical estimates of the rules' impact on the program  ...  The use of FAN is demonstrated on a case study: we design a parallel algorithm for the maximum segment sum problem, translate the algorithm in P3L, and experiment with the target C+MPI code on a Fujitsu  ...  Section 6 revisits our case study: from the FAN-algorithm for the maximum segment sum, a P3L skeletal program is generated.  ... 
doi:10.1007/bfb0097893 dblp:conf/ipps/GorlatchP99 fatcat:424hzsgqangl7jl77icyf2mlai

Skeletal Program Enumeration for Rigorous Compiler Testing [article]

Qirun Zhang, Chengnian Sun, Zhendong Su
2017 arXiv   pre-print
This paper introduces the skeletal program enumeration (SPE) problem: Given a fixed syntactic skeleton P and a set of variables V , enumerate a set of programs P exhibiting all possible variable usage  ...  Our main technical contribution is a novel algorithm for computing the canonical (and smallest) set of all non-α-equivalent programs.  ...  We thank Yang Chen and Davide Italiano for helpful comments on this work.  ... 
arXiv:1610.03148v4 fatcat:xhns4pfb7vdv7ojaromqebtsla

Skeletal program enumeration for rigorous compiler testing

Qirun Zhang, Chengnian Sun, Zhendong Su
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
This paper introduces the skeletal program enumeration (SPE) problem: Given a syntactic skeleton P and a set of variables V , enumerate a set of programs P exhibiting all possible variable usage patterns  ...  Our main technical contribution is a novel algorithm for computing the canonical (and smallest) set of all non-α-equivalent programs.  ...  This research was supported in part by the United States National Science Foundation (NSF) Grants 1319187, 1528133, and 1618158, and by a Google Faculty Research Award.  ... 
doi:10.1145/3062341.3062379 dblp:conf/pldi/ZhangSS17 fatcat:sql72r2pobcxlngm2cimu3ve7e

Programming Heterogeneous Parallel Machines Using Refactoring and Monte–Carlo Tree Search

Christopher Brown, Vladimir Janjic, M. Goli, J. McCall
2020 International journal of parallel programming  
Using our approach, we demonstrate easily obtainable, significant and scalable speedups on a number of case studies showing speedups of up to 41 over the sequential code on a 24-core machine with one GPU  ...  This paper presents a new technique for introducing and tuning parallelism for heterogeneous shared-memory systems (comprising a mixture of CPUs and GPUs), using a combination of algorithmic skeletons  ...  as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.  ... 
doi:10.1007/s10766-020-00665-z fatcat:ry5wess3ajbn3ftam7u5vrfqp4

A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers

Horacio González-Vélez, Mario Leyton
2010 Software, Practice & Experience  
Hence, traditional parallel programs often interleave computation and coordination for a certain algorithmic solution, greatly reducing the possibility of using the program structure as a steering criterion  ...  Although there is not a definitive answer in the subject, experimental studies [10, 11, 12] have consistently demonstrated that shared-memory is easy to program but lacks scalability and coarsegrain scope  ...  [56] report a comparative performance study with three skeletal programs in Eden, the parallel version of the Glasgow Haskell Compiler, and PMLS, using a C implementation as baseline.  ... 
doi:10.1002/spe.1026 fatcat:3e4nkxb3urdtjhrvug74jldmqm

Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods

Raffi Khatchadourian, Hidehiko Masuhara
2018 The Art, Science, and Engineering of Programming  
A focus of this work is to discover, through a scientific approach and a novel technique, situations where developers found these constructs useful and where they did not, and the reasons for each.  ...  In this paper, we describe an empirical study where we assess the adoption of a particular new language feature.  ...  via a large scale study of C# programs.  ... 
doi:10.22152/programming-journal.org/2018/2/6 fatcat:ea2wotf53fgs5bd3bl3xejhkou

programs

1978 Bulletin of The American Meteorological Society - (BAMS)  
Effects of particulate complex refractive index and particle-size distribution variations on atmospheric extinction and absorption for visible through middle IR wavelengths.  ...  The case studies will be compared and contrasted with each other, as well as with cases analyzed by Pielke and Cotton over south Florida. 13.4 A radar case study analysis of a heavily precipitating quasistationary  ...  : a typical continental case, and a typical maritime case.  ... 
doi:10.1175/1520-0477-59.4.461 fatcat:jvk27wtrefel7hiajjfr5g2wvi

Modeling and optimizing MapReduce programs

Jens Dörre, Sven Apel, Christian Lengauer
2014 Concurrency and Computation  
To understand the essence of the programming model better and to provide a rigorous foundation for optimizations, we present an abstract, functional model of MapReduce along with a number of customization  ...  These frameworks offer considerable flexibility to support various kinds of programs and data.  ...  Overview Both programs, the original one on the left and the transformed one on the right side of Rule M-Comb, implement a global reduction in MapReduce.  ... 
doi:10.1002/cpe.3333 fatcat:2aagzrea6fdj5mm3k55ftnauga

A library of constructive skeletons for sequential style of parallel programming

Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu
2006 Proceedings of the 1st international conference on Scalable information systems - InfoScale '06  
This paper addresses principle of designing skeleton libraries of parallel programming and reports implementation details and practical applications of a skeleton library SkeTo.  ...  With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel architectures and parallel programming  ...  -A meta mechanism is introduced to support extension of new skeletons and for optimizing skeletal parallel programs.  ... 
doi:10.1145/1146847.1146860 dblp:conf/infoscale/MatsuzakiIEH06 fatcat:arsyly4p75fhzny6xinbkuwv5a

Pattern-based object-oriented parallel programming [chapter]

Steve MacDonald, Jonathan Schaeffer, Duane Szafron
1997 Lecture Notes in Computer Science  
Once the user has speci ed the asset graph and the code for the application, the Enterprise precompiler transforms the sequential code into a parallel program.  ...  Frameworks di er from patterns by providing a solution for a narrow problem domain and by providing code for that solution.  ... 
doi:10.1007/3-540-63827-x_70 fatcat:iefm5tjptjcwzfwceihsuegbce

Implicit parallel programming in pH by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001

GATAN HAINS
2003 Journal of functional programming  
Having been out of academia for a number of years, I jumped at the chance to review these volumes, seeing this as an opportunity to get back up to speed with what was happening with the functional programming  ...  The two volumes actually draw together papers from the first two Scottish Functional Programming workshops.  ...  Hayashi & Cole present a BSPbased cost-prediction system for an implicitly parallel skeletal-language that contrasts with Ballereau et al.'s high-level BSP programming language BSML.  ... 
doi:10.1017/s0956796803224874 fatcat:4nf5exqfbrewdc5m3ptlxwlnh4

Scientific Program

2014 Procedia IUTAM  
bars SM04-018 Samvel Sargsyan * , Armenia A new thermodynamic framework for material surfaces SM04-019 Xia-Hui Pan * , Shou-Wen Yu, R.  ...  "Mechanical challenges in energy") and the list chair (or chairs) of the session. The list of contributions then follows and ordered as in the congress program.  ... 
doi:10.1016/j.piutam.2014.01.011 fatcat:osy4egnuufdophopfpj75e24jm

Automatic inversion generates divide-and-conquer parallel programs

Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
However, direct programming with list homomorphisms is a challenge for many programmers.  ...  We show that a weak right inverse always exists and can be automatically generated from a wide class of sequential programs.  ...  Acknowledgments The authors would like to thank Isao Sasano and Shin-Cheng Mu for valuable discussions with them, and the anonymous referees for their variable advice.  ... 
doi:10.1145/1250734.1250752 dblp:conf/pldi/MoritaMMHT07 fatcat:zolwahhzr5abve4vs6a5wkhzxq

Automatic inversion generates divide-and-conquer parallel programs

Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007 SIGPLAN notices  
However, direct programming with list homomorphisms is a challenge for many programmers.  ...  We show that a weak right inverse always exists and can be automatically generated from a wide class of sequential programs.  ...  Acknowledgments The authors would like to thank Isao Sasano and Shin-Cheng Mu for valuable discussions with them, and the anonymous referees for their variable advice.  ... 
doi:10.1145/1273442.1250752 fatcat:zug3lyznanfcpnu6eg7evd5vgi

The spoofax language workbench

Lennart C.L. Kats, Eelco Visser
2010 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10  
Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into a single environment.  ...  In this paper we describe the architecture of Spoofax and introduce idioms for high-level specifications of language semantics using rewrite rules, showing how analyses can be reused for transformations  ...  Acknowledgements This research was supported by NWO/JACQUARD projects 612.063.512, TFA: Transformations for Abstractions, and 638.001.610, MoDSE: Model-Driven Software Evolution.  ... 
doi:10.1145/1869459.1869497 dblp:conf/oopsla/KatsV10 fatcat:3ntsnoazovdh3jdbwxqmzfuimy
« Previous Showing results 1 — 15 out of 8,099 results