ICFP 2019 (series) / FHPNC 2019 (series) / Functional High-Performance and Numerical Computing /
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
Statically typed functional programming helps by allowing more properties to be expressed and checked by the program automatically. In previous work, we created the Hasktorch library to research and extend the ability of typed functional programming to implement machine learning systems. Recent work on Hasktorch has focused on a deep overhaul of metaprogramming facilities to produce foreign function bindings of PyTorch’s recently-released, consolidated C++ API known as libtorch. We improved the implementation of shared Haskell tooling for C++ bindings and generated the bindings automatically support thousands of PyTorch C++ functions.
Sun 18 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:40 - 14:50 | |||
13:40 23mTalk | Compositional Deep Learning in Futhark FHPNC Duc Minh Tran DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark Link to publication | ||
14:03 23mTalk | Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract) FHPNC | ||
14:26 23mTalk | Hailstorm : A statically typed functional language for systems programming (extended abstract) FHPNC |