Publication

Fold-based fusion as a library: a generative programming pearl

Sandro Stucki, Manohar Jonnalagedda
2015
Conference Papers

Abstract

Fusion is a program optimisation technique commonly implemented using special-purpose compiler support. In this paper, we present an alternative approach, implementing fold-based fusion as a standalone library. We use staging to compose operations on folds; the operations are partially evaluated away, yielding code that does not construct unnecessary intermediate data structures. The technique extends to partitioning and grouping of collections.

Official source

https://infoscience.epfl.ch/entities/publication/57a5eec9-11e6-4346-a6e7-9bd6248eafe0

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Sandro Stucki, Manohar Jonnalagedda
2015
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/57a5eec9-11e6-4346-a6e7-9bd6248eafe0

About this result

Related concepts (21)

Fusion power

Fusion power is a proposed form of power generation that would generate electricity by using heat from nuclear fusion reactions. In a fusion process, two lighter atomic nuclei combine to form a heavier nucleus, while releasing energy. Devices designed to harness this energy are known as fusion reactors. Research into fusion reactors began in the 1940s, but as of 2023, no device has reached net power. Fusion processes require fuel and a confined environment with sufficient temperature, pressure, and confinement time to create a plasma in which fusion can occur.

Optimizing compiler

In computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.

Tail call

In computer science, a tail call is a subroutine call performed as the final action of a procedure. If the target of a tail is the same subroutine, the subroutine is said to be tail recursive, which is a special case of direct recursion. Tail recursion (or tail-end recursion) is particularly useful, and is often easy to optimize in implementations. Tail calls can be implemented without adding a new stack frame to the call stack.

Related publications (32)

Long plasma duration operation analyses with an international multi-machine (tokamaks and stellarators) database

Stefano Coda, Jeffrey Huang

Combined high-fusion performance and long-pulse operation is one of the key integration challenges for fusion energy development in magnetic devices. Addressing these challenges requires an integrated vision of physics and engineering aspects with the purp ...

IOP Publishing Ltd2024

Tangentially viewing phase contrast imaging for turbulence measurements in toroidal fusion devices

Stefano Coda

Phase contrast imaging (PCI) is an established and powerful technique for measuring density fluctuations in plasmas and has been successfully applied to several fusion devices. Rooted in a concept first developed for microscopy, PCI belongs to the category ...

2024

Global fluid simulations of plasma turbulence in stellarators

António João Caeiro Heitor Coelho

In order to cope with the decarbonization challenge faced by many countries, fusion is one of the few alternatives to fossil fuels for the production of electricity. Two devices invented in the middle of the previous century have emerged as the most promis ...

EPFL2024