Runtime support for multicore Haskell

S Marlow, S Peyton Jones, S Singh - Proceedings of the 14th ACM …, 2009 - dl.acm.org
Purely functional programs should run well on parallel hardware because of the absence of
side effects, but it has proved hard to realise this potential in practice. Plenty of papers …

Hybrid dataflow/von-Neumann architectures

F Yazdanpanah, C Alvarez-Martinez… - … on Parallel and …, 2013 - ieeexplore.ieee.org
General purpose hybrid dataflow/von-Neumann architectures are gaining attraction as
effective parallel platforms. Although different implementations differ in the way they merge …

Implicitly threaded parallelism in Manticore

M Fluet, M Rainey, J Reppy, A Shaw - Journal of functional …, 2010 - cambridge.org
The increasing availability of commodity multicore processors is making parallel computing
ever more widespread. In order to exploit its potential, programmers need languages that …

Cache aware optimization of stream programs

J Sermulins, W Thies, R Rabbah… - Proceedings of the 2005 …, 2005 - dl.acm.org
Effective use of the memory hierarchy is critical for achieving high performance on
embedded systems. We focus on the class of streaming applications, which is increasingly …

Programming with exceptions in JCilk

JS Danaher, ITA Lee, CE Leiserson - Science of Computer Programming, 2006 - Elsevier
JCilk extends the serial subset of the Java language by importing the fork-join primitives
spawn and sync from the Cilk multithreaded language, thereby providing call-return …

Implicitly-threaded parallelism in Manticore

M Fluet, M Rainey, J Reppy, A Shaw - Proceedings of the 13th ACM …, 2008 - dl.acm.org
The increasing availability of commodity multicore processors is making parallel computing
available to the masses. Traditional parallel languages are largely intended for large-scale …

Polymorphic types with polynomial sizes

JL Colaço, B Pauget, M Pouzet - Proceedings of the 9th ACM SIGPLAN …, 2023 - dl.acm.org
This article presents a compile-time analysis for tracking the size of data-structures in a
statically typed and strict functional language. This information is valuable for static checking …

Phased scheduling of stream programs

M Karczmarek, W Thies, S Amarasinghe - ACM SIGPLAN Notices, 2003 - dl.acm.org
As embedded DSP applications become more complex, it is increasingly important to
provide high-level stream abstractions that can be compiled without sacrificing efficiency. In …

Spartan: A distributed array framework with smart tiling

CC Huang, Q Chen, Z Wang, R Power, J Ortiz… - 2015 USENIX Annual …, 2015 - usenix.org
Application programmers in domains like machine learning, scientific computing, and
computational biology are accustomed to using powerful, high productivity array languages …

Translating structured sequential programs to dataflow graphs

K Schneider - Proceedings of the 19th ACM-IEEE International …, 2021 - dl.acm.org
In this paper, a translation from structured sequential programs to equivalent dataflow
process networks (DPNs) is presented that is based on a carefully chosen set of nodes …