Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2019.25
URN: urn:nbn:de:0030-drops-108172
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10817/
Shaikhha, Amir ; Parreaux, Lionel
Finally, a Polymorphic Linear Algebra Language (Pearl)
| pdf-format: |
|
Abstract
Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra language, applicable to various types of data analytics workloads. The design of this domain-specific language (DSL) is inspired by both mathematics and programming languages: its basic constructs are borrowed from abstract algebra, whereas the key technology behind its polymorphic design uses the tagless final approach (a.k.a. polymorphic embedding/object algebras). This design enables us to change the behaviour of arithmetic operations to express matrix algebra, graph algorithms, logical probabilistic programs, and differentiable programs. Crucially, the polymorphic design of Pilatus allows us to use multi-stage programming and rewrite-based optimisation to recover the performance of specialised code, supporting fixed sized matrices, algebraic optimisations, and fusion.
BibTeX - Entry
@InProceedings{shaikhha_et_al:LIPIcs:2019:10817,
author = {Amir Shaikhha and Lionel Parreaux},
title = {{Finally, a Polymorphic Linear Algebra Language (Pearl)}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {25:1--25:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Alastair F. Donaldson},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10817},
URN = {urn:nbn:de:0030-drops-108172},
doi = {10.4230/LIPIcs.ECOOP.2019.25},
annote = {Keywords: Linear Algebra, Domain-Specific Languages, Tagless Final, Polymorphic Embedding, Object Algebra, Multi-Stage Programming, Graph Processing, Probabili}
}
| Keywords: | Linear Algebra, Domain-Specific Languages, Tagless Final, Polymorphic Embedding, Object Algebra, Multi-Stage Programming, Graph Processing, Probabili | |
| Seminar: | 33rd European Conference on Object-Oriented Programming (ECOOP 2019) | |
| Issue date: | 2019 | |
| Date of publication: | 10.07.2019 |
