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.20MiB |
Thu 18 Jul Times are displayed in time zone: Greenwich Mean Time : Belfast change
10:30 - 12:10: Domain Specific LanguagesResearch Papers at Mancy Chair(s): Sebastian ErdwegJGU Mainz | |||
10:30 - 10:50 Research paper | How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Research Papers Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany DOI Media Attached | ||
10:50 - 11:10 Research paper | Fling—A Fluent API Generator Research Papers DOI | ||
11:10 - 11:30 Research paper | Semantic Patches for Java Program Transformation Research Papers 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 | ||
11:30 - 11:50 Research paper | Finally, a Polymorphic Linear Algebra Language Research Papers DOI | ||
11:50 - 12:10 Research paper | NumLin: Linear Types for Linear Algebra Research Papers DOI Pre-print Media Attached File Attached |