Search Results - "Array Programming"

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming by Paszke, Adam, Johnson, Daniel D., Duvenaud, David, Vytiniotis, Dimitrios, Radul, Alexey, Johnson, Matthew J., Ragan-Kelley, Jonathan, Maclaurin, Dougal

“…We present a novel programming language design that attempts to combine the clarity and safety of high-level functional languages with the efficiency and…”
Get full text

Compilation of sparse array programming models by Henry, Rawn, Hsu, Olivia, Yadav, Rohan, Chou, Stephen, Olukotun, Kunle, Amarasinghe, Saman, Kjolstad, Fredrik

“…This paper shows how to compile sparse array programming languages. A sparse array programming language is an array programming language that supports…”
Get full text

A Novel Array Programming Scheme for Large Matrix Processing in Flash-Based Computing-in-Memory (CIM) With Ultrahigh Bit Density by Feng, Yang, Zhang, Dong, Zhao, Guoqing, Sun, Zhaohui, Bai, Maoying, Qi, Yueran, Gong, Xiao, Liu, Jing, Zhang, Junyu, Wu, Jixuan, Zhan, Xuepeng, Chen, Jiezhi

“…Computing-in-memory (CIM) architecture is a promising approach to breaking the bottleneck in von Neumann' architecture. To shed light on large matrix…”
Get full text

Verified tensor-program optimization via high-level scheduling rewrites by Liu, Amanda, Bernstein, Gilbert Louis, Chlipala, Adam, Ragan-Kelley, Jonathan

“…We present a lightweight Coq framework for optimizing tensor kernels written in a pure, functional array language. Optimizations rely on user scheduling using…”
Get full text

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming by Schenck, Robert, Hinnerskov, Nikolaj Hey, Henriksen, Troels, Madsen, Magnus, Elsman, Martin

“…Dynamically typed array languages such as Python, APL, and Matlab lift scalar operations to arrays and replicate scalars to fit applications. We present a…”
Get full text

Correctness Meets Performance: From Agda to Futhark by Šinkarovs, Artjoms, Henriksen, Troels

“…In this paper we demonstrate a technique for developing high performance applications with strong correctness guarantees. Using a theorem prover, we derive a…”
Get full text

MorphoGen: Topology optimization software for Extremely Modular Systems by Tauzowski, Piotr, Blachowski, Bartlomiej, Zawidzka, Ela, Zawidzki, Machi

“…This paper introduces MorphoGen — an integrated reliability-based topology optimization and nonlinear finite element analysis system for 2D and 3D domains. The…”
Get full text

A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

“…Producing efficient array code is crucial in high-performance domains like image processing and machine learning. It requires the ability to control factors…”
Get full text

Compilation of Shape Operators on Sparse Arrays by Root, Alexander J, Yan, Bobby, Liu, Peiming, Gyurgyik, Christophe, Bik, Aart J.C., Kjolstad, Fredrik

“…We show how to build a compiler for a sparse array language that supports shape operators such as reshaping or concatenating arrays, in addition to compute…”
Get full text

APL since 1978 by Hui, Roger K. W., Kromberg, Morten J.

“…The Evolution of APL , the HOPL I paper by Falkoff and Iverson on APL, recounted the fundamental design principles which shaped the implementation of the APL…”
Get full text

Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation by Van Der Cruysse, Jonathan, Dubach, Christophe

“…Accelerating programs is typically done by recognizing code idioms matching high-performance libraries or hardware interfaces. However, recognizing such idioms…”
Get full text

Persistent Asynchronous Adaptive Specialization for Generic Array Programming by Grelck, Clemens, Wiesinger, Heinrich

“…Generic array programming systematically abstracts from structural array properties such as shape and rank. As usual, generic programming comes at the price of…”
Get full text

A Data-driven Model for Large Wildfire Behaviour Prediction in Europe by Rodriguez-Aseretto, Dario, de Rigo, Daniele, Di Leo, Margherita, Cortés, Ana, San-Miguel-Ayanz, Jesús

“…The European Forest Fire Information System (EFFIS) has been established by the Joint Research Centre (JRC) and the Directorate General for Environment (DG…”
Get full text

Improving the game theoretic analysis of electricity auctions applied in medium markets by Zarei, Mohammad, Salami, Abolfazl

“…•A new algorithm is proposed to improve the game theoretic analysis of electricity auctions.•A new method is proposed to solve PCM and BCM auction…”
Get full text

Improving the DX for Newbie and Casual Array Developers by Thomas, David, Samadi, Will

“…Array programming languages offer unmatched expressiveness for array operations. Despite their relevance in machine learning and scientific computing,…”
Get full text

Merging compositions of array skeletons in SaC by Grelck, Clemens, Scholz, Sven-Bodo

Get full text

quAPL: Modeling Quantum Computation in an Array Programming Language by Nuncz-Corrales, Santiago, Frenkel, Marcos, Abreu, Bruno

“…Most contemporary quantum programming languages describe computation as circuits, using a host classical counterpart to drive the execution of quantum…”
Get full text

Merging compositions of array skeletons in S aC by Grelck, Clemens, Scholz, Sven-Bodo

“…The design of skeletons for expressing concurrent computations usually faces a conflict between software engineering demands and performance issues. Whereas…”
Get full text

MultiArray: a C++ library for generic programming with arrays by Garcia, Ronald, Lumsdaine, Andrew

“…In C++, multi‐dimensional arrays are often used but the language provides limited native support for them. The language, in its Standard Library, supplies…”
Get full text

Dependently typed array programs don’t go wrong by Trojahner, Kai, Grelck, Clemens

Get full text