A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
A transformational framework for skeletal programs: Overview and case study
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
International journal of parallel programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2010
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
The Art, Science, and Engineering of Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 1st international conference on Scalable information systems - InfoScale '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2007
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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