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.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
20m
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
20m
Research paper
Fling—A Fluent API Generator
Research Papers
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
DOI
11:10
20m
Research paper
Semantic Patches for Java Program TransformationExperience Report
Research Papers
Hong Jin KangSchool 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
20m
Research paper
Finally, a Polymorphic Linear Algebra LanguagePearl
Research Papers
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
DOI
11:50
20m
Research paper
NumLin: Linear Types for Linear Algebra
Research Papers
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached