English
Related papers

Related papers: Loo.py: transformation-based code generation for G…

200 papers

Python has become the de facto language for scientific computing. Programming in Python is highly productive, mainly due to its rich science-oriented software ecosystem built around the NumPy module. As a result, the demand for Python…

We introduce the new concept of computation coding. Similar to how rate-distortion theory is concerned with the lossy compression of data, computation coding deals with the lossy computation of functions. Particularizing to linear…

Information Theory · Computer Science 2021-02-02 Ralf Müller , Bernhard Gäde , Ali Bereyhi

We present a technique for automatically transforming kernel-based computations in disparate, nested loops into a fused, vectorized form that can reduce intermediate storage needs and lead to improved performance on contemporary hardware.…

Performance · Computer Science 2017-10-25 Jason Sewall , Simon J. Pennycook

Modern deep learning frameworks provide imperative, eager execution programming interfaces embedded in Python to provide a productive development experience. However, deep learning practitioners sometimes need to capture and transform…

Machine Learning · Computer Science 2022-03-08 James K. Reed , Zachary DeVito , Horace He , Ansley Ussery , Jason Ansel

High-level programming languages such as Python are increasingly used to provide intuitive interfaces to libraries written in lower-level languages and for assembling applications from various components. This migration towards…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-21 Yadu Babuji , Anna Woodard , Zhuozhao Li , Daniel S. Katz , Ben Clifford , Rohan Kumar , Lukasz Lacinski , Ryan Chard , Justin M. Wozniak , Ian Foster , Michael Wilde , Kyle Chard

Lattice Boltzmann methods are a popular mesoscopic alternative to macroscopic computational fluid dynamics solvers. Many variants have been developed that vary in complexity, accuracy, and computational cost. Extensions are available to…

Mathematical Software · Computer Science 2020-04-14 Martin Bauer , Harald Köstler , Ulrich Rüde

Language models have shown remarkable proficiency in code generation; nevertheless, ensuring type correctness remains a challenge. Although traditional methods, such as constrained decoding, alleviate this problem by externally rejecting…

Programming Languages · Computer Science 2026-02-09 Zhechong Huang , Zhao Zhang , Ruyi Ji , Tingxuan Xia , Qihao Zhu , Qinxiang Cao , Zeyu Sun , Wiggin Zhou , Yingfei Xiong

Theano is a Python library that allows to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Since its introduction, it has been one of the most used CPU and GPU mathematical compilers -…

Symbolic Computation · Computer Science 2016-05-10 The Theano Development Team , Rami Al-Rfou , Guillaume Alain , Amjad Almahairi , Christof Angermueller , Dzmitry Bahdanau , Nicolas Ballas , Frédéric Bastien , Justin Bayer , Anatoly Belikov , Alexander Belopolsky , Yoshua Bengio , Arnaud Bergeron , James Bergstra , Valentin Bisson , Josh Bleecher Snyder , Nicolas Bouchard , Nicolas Boulanger-Lewandowski , Xavier Bouthillier , Alexandre de Brébisson , Olivier Breuleux , Pierre-Luc Carrier , Kyunghyun Cho , Jan Chorowski , Paul Christiano , Tim Cooijmans , Marc-Alexandre Côté , Myriam Côté , Aaron Courville , Yann N. Dauphin , Olivier Delalleau , Julien Demouth , Guillaume Desjardins , Sander Dieleman , Laurent Dinh , Mélanie Ducoffe , Vincent Dumoulin , Samira Ebrahimi Kahou , Dumitru Erhan , Ziye Fan , Orhan Firat , Mathieu Germain , Xavier Glorot , Ian Goodfellow , Matt Graham , Caglar Gulcehre , Philippe Hamel , Iban Harlouchet , Jean-Philippe Heng , Balázs Hidasi , Sina Honari , Arjun Jain , Sébastien Jean , Kai Jia , Mikhail Korobov , Vivek Kulkarni , Alex Lamb , Pascal Lamblin , Eric Larsen , César Laurent , Sean Lee , Simon Lefrancois , Simon Lemieux , Nicholas Léonard , Zhouhan Lin , Jesse A. Livezey , Cory Lorenz , Jeremiah Lowin , Qianli Ma , Pierre-Antoine Manzagol , Olivier Mastropietro , Robert T. McGibbon , Roland Memisevic , Bart van Merriënboer , Vincent Michalski , Mehdi Mirza , Alberto Orlandi , Christopher Pal , Razvan Pascanu , Mohammad Pezeshki , Colin Raffel , Daniel Renshaw , Matthew Rocklin , Adriana Romero , Markus Roth , Peter Sadowski , John Salvatier , François Savard , Jan Schlüter , John Schulman , Gabriel Schwartz , Iulian Vlad Serban , Dmitriy Serdyuk , Samira Shabanian , Étienne Simon , Sigurd Spieckermann , S. Ramana Subramanyam , Jakub Sygnowski , Jérémie Tanguay , Gijs van Tulder , Joseph Turian , Sebastian Urban , Pascal Vincent , Francesco Visin , Harm de Vries , David Warde-Farley , Dustin J. Webb , Matthew Willson , Kelvin Xu , Lijun Xue , Li Yao , Saizheng Zhang , Ying Zhang

Python bindings are a critical bridge between high-performance C++ libraries and the flexibility of Python, enabling rapid prototyping, reproducible experiments, and integration with simulation and learning frameworks in robotics research.…

Robotics · Computer Science 2026-03-06 Weihang Guo , Theodoros Tyrovouzis , Lydia E. Kavraki

While modern software development heavily uses versioned packages, programming languages rarely support the concept of versions in their semantics, which makes software updates more bulky and unsafe. This paper proposes a programming…

Programming Languages · Computer Science 2021-07-16 Yudai Tanabe , Luthfan Anshar Lubis , Tomoyuki Aotani , Hidehiko Masuhara

Linear Programming (LP) is a foundational optimization technique with widespread applications in finance, energy trading, and supply chain logistics. However, traditional Central Processing Unit (CPU)-based LP solvers often struggle to meet…

Optimization and Control · Mathematics 2025-08-26 Xiyan Hu , Titus Parker , Connor Phillips , Yifa Yu

Algorithms that use Large Language Models (LLMs) to evolve code arrived on the Genetic Programming (GP) scene very recently. We present LLM GP, a formalized LLM-based evolutionary algorithm designed to evolve code. Like GP, it uses…

Neural and Evolutionary Computing · Computer Science 2024-01-17 Erik Hemberg , Stephen Moskal , Una-May O'Reilly

Multiple patterning lithography has been widely adopted in advanced technology nodes of VLSI manufacturing. As a key step in the design flow, multiple patterning layout decomposition (MPLD) is critical to design closure. Due to the…

Other Computer Science · Computer Science 2019-09-17 Wei Li , Yuzhe Ma , Qi Sun , Yibo Lin , Iris Hui-Ru Jiang , Bei Yu , David Z. Pan

The advent of modern data processing has led to an increasing tendency towards interdisciplinarity, which frequently involves the importation of different technical approaches. Consequently, there is an urgent need for a unified data…

Machine Learning · Computer Science 2024-06-04 Chen Zhang , Lecheng Jia , Wei Zhang , Ning Wen

High-level synthesis (HLS) tools have brought FPGA development into the mainstream, by allowing programmers to design architectures using familiar languages such as C, C++, and OpenCL. While the move to these languages has brought…

Hardware Architecture · Computer Science 2019-10-11 Johannes de Fine Licht , Torsten Hoefler

We consider two classes of stream-based computations which admit taking linear combinations of execution runs: probabilistic sampling and generalized animation. The dataflow architecture is a natural platform for programming with streams.…

Programming Languages · Computer Science 2016-01-06 Michael Bukatin , Steve Matthews

We present SPDL (Scalable and Performant Data Loading), an open-source, framework-agnostic library designed for efficiently loading array data to GPU. Data loading is often a bottleneck in AI applications, and is challenging to optimize…

We have built an open-source software system for the modeling of biomolecular reaction networks, SloppyCell, which is written in Python and makes substantial use of third-party libraries for numerics, visualization, and parallel…

Quantitative Methods · Quantitative Biology 2007-05-23 Christopher R. Myers , Ryan N. Gutenkunst , James. P. Sethna

Sampling from generative models has become a crucial tool for applications like data synthesis and augmentation. Diffusion, Flow Matching and Continuous Normalising Flows have shown effectiveness across various modalities, and rely on…

Machine Learning · Statistics 2025-11-10 Erik Bodin , Alexandru Stere , Dragos D. Margineantu , Carl Henrik Ek , Henry Moss

Data engineering is becoming an increasingly important part of scientific discoveries with the adoption of deep learning and machine learning. Data engineering deals with a variety of data formats, storage, data extraction, transformation,…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-14 Vibhatha Abeykoon , Niranda Perera , Chathura Widanage , Supun Kamburugamuve , Thejaka Amila Kanewala , Hasara Maithree , Pulasthi Wickramasinghe , Ahmet Uyar , Geoffrey Fox