Thu 18 Jul 2019 11:50 - 12:10 at Mancy - Domain Specific Languages Chair(s): Sebastian Erdweg

We present NumLin, a functional programming language whose type system is designed to enforce the safe usage of the APIs of low-level linear algebra libraries (such as BLAS/LAPACK). We do so through a brief description of its key features and several illustrative examples. We show that NumLin’s type system is sound and that its implementation improves upon naïve implementations of linear algebra programs, almost towards C-levels of performance. By doing so, we demonstrate (a) that linear types are well-suited to expressing the APIs of low-level linear algebra libraries accurately and concisely and (b) that, despite the complexity of prior work on it, fractional permissions can actually be implemented using simple, well-known techniques and be used practically in real programs.

NumLin-ECOOP-19-Presentation (ecoop-19.pptx)5.19MiB

Thu 18 Jul

ecoop-2019-papers
10:30 - 12:10: Research Papers - Domain Specific Languages at Mancy
Chair(s): Sebastian ErdwegJGU Mainz
ecoop-2019-papers10:30 - 10:50
Research paper
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
DOI Media Attached
ecoop-2019-papers10:50 - 11:10
Research paper
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
DOI
ecoop-2019-papers11:10 - 11:30
Research paper
Kang Hong JinSchool of Information Systems, Singapore Management University, Ferdian Thung, Julia LawallInria/LIP6, Gilles MullerLIP6-INRIA/UPMC, Lingxiao JiangSingapore Management University, David LoSingapore Management University
DOI Media Attached
ecoop-2019-papers11:30 - 11:50
Research paper
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
DOI
ecoop-2019-papers11:50 - 12:10
Research paper
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached