Points for Free: Embedding Pointful Array Programming in Python
Multidimensional array operations are ubiquitous in machine learning. The dominant ecosystem in this field is centred around Python and NumPy, where programs are expressed with elaborate and error-prone calls in the point-free array programming model. Such code is difficult to statically analyse and maintain. Various other array programming paradigms offer to solve these problems, in particular the pointful style of Dex. However, only limited approaches - based on Einstein summation - have been embedded in Python. We introduce Ein, a pointful array DSL embedded in Python. We also describe a novel connection between pointful and point-free array programming. Thanks to this connection, Ein generates performant and type-safe calls to NumPy with potential for further optimisations. Ein reconciles the readability of comprehension-style definitions with the capabilities of existing array frameworks.
Tue 25 JunDisplayed time zone: Windhoek change
16:00 - 17:40 | |||
16:00 25mTalk | Points for Free: Embedding Pointful Array Programming in Python ARRAY DOI | ||
16:25 25mTalk | Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments ARRAY File Attached | ||
16:50 25mTalk | On Structural Under and GPUs ARRAY Juuso Haavisto University of Oxford File Attached | ||
17:15 25mTalk | The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum ComputingRemote ARRAY Santiago Núñez-Corrales National Center for Supercomputing Applications, University of Illinois Urbana-Champaign, Phuong Cao National Center for Supercomputing Applications, University of Illinois Urbana-Champaign, Bach Hoang National Center for Supercomputing Applications, University of Illinois Urbana-Champaign File Attached |