The artifact package includes a Debian 9.7 Stretch VirtualBox virtual machine on which is the implementation of NumLin and the required OCaml platform and packages

Krishnaswami, Neelakantan R.

Makwana, Dhruv C.

English

Dagstuhl Research Online Publication Server

NumLin: Linear Types for Linear Algebra (Artifact)Dhruv C. MakwanaUnaffiliateddhruvmakwana.comdcm41@cam.ac.ukNeelakantan R. KrishnaswamiDepartment of Computer Science and Technology, University of Cambridge, United Kingdomnk480@cl.cam.ac.ukAbstractThe artifact package includes a Debian 9.7 StretchVirtualBox virtual machine on which is the im-plementation of NumLin and the required OCamlplatform and packages.2012 ACM Subject Classification Theory of computation → Program specificationsKeywords and phrases numerical, linear, algebra, types, permissions, OCamlDigital Object Identifier 10.4230/DARTS.5.2.3Acknowledgements We would like to thank Stephen Dolan for his advice and support with the imple-mentation and evaluation of NumLin. We would also like to thank the (anonymous) reviewers for theirfeedback and suggestions.Related Article Dhruv C. Makwana and Neelakantan R. Krishnaswami, “NumLin: Linear Types forLinear Algebra”, in 33rd European Conference on Object-Oriented Programming (ECOOP 2019), LIPIcs,Vol. 134, pp. 14:1–14:25, 2019.https://dx.doi.org/10.4230/LIPIcs.ECOOP.2019.14Related Conference 33rd European Conference on Object-Oriented Programming (ECOOP 2019), July15–19, 2019, London, United Kingdom1 ScopeThis artifact demonstrates the feasibility of implementation of NumLin, and substantiates theclaimed execution times via a benchmarking program.2 ContentThe artifact package includes a 64-bit Debian 9.7 Stretch VirtualBox virtual machine on which isthe implementation of NumLin and the required OCaml platform and packages.3 Getting the artifactThe artifact endorsed by the Artifact Evaluation Committee is available free of charge on theDagstuhl Research Online Publication Server (DROPS). In addition, the most recent sources forthe artifact are also available at: https://github.com/dc-mak/NumLin.4 Tested platformsWindows 10, using VirtualBox (5.2.26); 3GB RAM seemed to be sufficient to run it smoothly.5 LicenseThe artifact is available under GPLv3 (the GNU General Public License, Version 3).© Dhruv C. Makwana and Neelakantan R. Krishnaswami;licensed under Creative Commons Attribution 3.0 Germany (CC BY 3.0 DE)Dagstuhl Artifacts Series, Vol. 5, Issue 2, Artifact No. 3, pp. 3:1–3:2Dagstuhl Artifacts SeriesSchloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany3:2 NumLin: Linear Types for Linear Algebra (Artifact)6 MD5 sum of the artifactDC249913408FDD2E0E2D5B3120974A597 Size of the artifact4.09 GiBA QuickstartLogin (password: osboxes.org), open up a terminal (Activites > Terminal), cd NumLin. Fromthere, open up write-up/artifact-evaluation-instructions.md for full detailed instructions.The same instructions are accessible via the repository link given in Section 3.

NumLin: Linear Types for Linear Algebra (Artifact)

https://drops.dagstuhl.de/opus/volltexte/2019/10780/pdf/DARTS-5-2-3.pdf

NumLin: Linear Types for Linear Algebra (Artifact)

Abstract

Similar works

Full text

Available Versions

Dagstuhl Research Online Publication Server