Biermann, Florian

Spreadsheets are used in industry and academia across all domains and their applicationranges from simple accounting to sequencing of amino acids. Some businesses re-useand extend spreadsheets over years and not only complexity but also performancebecomes a problem.In the last two decades, parallel shared-memory multiprocessor computers have becomeabundant, but they remain notoriously difficult to program correctly. Therefore, it isoften not possible for end-users to make full use of their parallel hardware.Declarative, functional programming languages are an alternative to imperativeprogramming languages that makes programming shared-memory multiprocessorsmuch easier: due to the absence of side effects in these languages, compilers andlibraries can parallelize programs automatically. The formula language of spreadsheetsis a declarative, first-order functional language and therefore potentially allows for anautomatic parallelization of spreadsheet calculations.This thesis explores the design space of automatically parallelizing spreadsheetrecalculations. Often times, computations in spreadsheets are structured in a way thatcorresponds to declarative high-level programming on arrays. Therefore, the focus ofthis thesis lies on practical data-parallelism in a spreadsheet model of computations.This thesis makes the following contributions:•• we show how to automatically re-write high-level spreadsheet structures intohigher-order functional programs for parallel execution;•• we contrast and combine our re-writing technique with a recalculation algorithmthat dynamically exploits dataflow parallelism in spreadsheets;•• we describe a representation of two-dimensional arrays that pragmatically catersto the needs of high-level array programming; and•• we explore a hypothetical approach to array fusion and laziness in a purelyfunctional, strict spreadsheet language.Spreadsheets are used in industry and academia across all domains and their application ranges from simple accounting to sequencing of amino acids. Some businesses re-use and extend spreadsheets over years and not only complexity but also performance becomes a problem.In the last two decades, parallel shared-memory multiprocessor computers have become abundant, but they remain notoriously difficult to program correctly. Therefore, it is often not possible for end-users to make full use of their parallel hardware. Declarative, functional programming languages are an alternative to imperative programming languages that makes programming shared-memory multiprocessors much easier: due to the absence of side effects in these languages, compilers and libraries can parallelize programs automatically. The formula language of spreadsheets is a declarative, first-order functional language and therefore potentially allows for an automatic parallelization of spreadsheet calculations.This thesis explores the design space of automatically parallelizing spreadsheet recalculations. Often times, computations in spreadsheets are structured in a way that corresponds to declarative high-level programming on arrays. Therefore, the focus of this thesis lies on practical data-parallelism in a spreadsheet model of computations. This thesis makes the following contributions:• we show how to automatically re-write high-level spreadsheetstructures into higher-order functional programs for parallelexecution;• we contrast and combine our re-writing technique with arecalculation algorithm that dynamically exploits dataflowparallelism in spreadsheets;• we describe a representation of two-dimensional arrays thatpragmatically caters to the needs of high-level array programming; and• we explore a hypothetical approach to array fusion and laziness in a purely functional, strict spreadsheet language

The IT University of Copenhagen's Repository

Data-Parallel Spreadsheet Programming

https://pure.itu.dk/ws/files/83711786/PhD_Thesis_New_Final_Version_Florian_Biermann.pdf

Data-Parallel Spreadsheet Programming

Abstract

Similar works

Full text

Available Versions

The IT University of Copenhagen's Repository