English
Related papers

Related papers: ProtoX: A First Look

200 papers

Sympiler is a domain-specific code generator that optimizes sparse matrix computations by decoupling the symbolic analysis phase from the numerical manipulation stage in sparse codes. The computation patterns in sparse numerical methods are…

Programming Languages · Computer Science 2018-01-08 Kazem Cheshmi , Shoaib Kamil , Michelle Mills Strout , Maryam Mehri Dehnavi

Recent years have witnessed the booming of various differentiable optimization algorithms. These algorithms exhibit different execution patterns, and their execution needs massive computational resources that go beyond a single CPU and GPU.…

Mathematical Software · Computer Science 2022-11-15 Jie Ren , Xidong Feng , Bo Liu , Xuehai Pan , Yao Fu , Luo Mai , Yaodong Yang

This paper describes the Conic Operator Splitting Method (COSMO) solver, an operator splitting algorithm for convex optimisation problems with quadratic objective function and conic constraints. At each step the algorithm alternates between…

Optimization and Control · Mathematics 2021-08-31 Michael Garstka , Mark Cannon , Paul Goulart

This paper introduces a new method of partitioning the solution space of a multi-objective optimisation problem for parallel processing, called Efficient Projection Partitioning. This method projects solutions down into a single dimension,…

Optimization and Control · Mathematics 2017-11-23 William Pettersson , Melih Ozlen

This paper presents a new method of engaging older participants in the process of application and IT solutions development for older adults for emerging IT and tech startups. A new method called SPIRAL (Support for Participant Involvement…

Software Engineering · Computer Science 2018-03-28 Wiesław Kopeć , Radosław Nielek , Adam Wierzbicki

We introduce variational spectral learning (VSL), a machine learning framework for solving partial differential equations (PDEs) that operates directly in the coefficient space of spectral expansions. VSL offers a principled bridge between…

Numerical Analysis · Mathematics 2026-01-07 M. M. Hammad

Recent research has focused on accelerating stencil computations by exploiting emerging hardware like Tensor Cores. To leverage these accelerators, the stencil operation must be transformed to matrix multiplications. However, this…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-27 Qiqi GU , Chenpeng Wu , Heng Shi , Jianguo Yao

Optimizing deep learning models is generally performed in two steps: (i) high-level graph optimizations such as kernel fusion and (ii) low level kernel optimizations such as those found in vendor libraries. This approach often leaves…

Machine Learning · Computer Science 2021-03-08 Pratik Fegade , Tianqi Chen , Phillip B. Gibbons , Todd C. Mowry

This paper proposes the Proximal Iteratively REweighted (PIRE) algorithm for solving a general problem, which involves a large body of nonconvex sparse and structured sparse related problems. Comparing with previous iterative solvers for…

Numerical Analysis · Computer Science 2014-04-29 Canyi Lu , Yunchao Wei , Zhouchen Lin , Shuicheng Yan

We introduce SPRING, a novel stochastic proximal alternating linearized minimization algorithm for solving a class of non-smooth and non-convex optimization problems. Large-scale imaging problems are becoming increasingly prevalent due to…

Optimization and Control · Mathematics 2021-01-20 Derek Driggs , Junqi Tang , Jingwei Liang , Mike Davies , Carola-Bibiane Schönlieb

Inspired by natural evolutionary processes, Evolutionary Computation (EC) has established itself as a cornerstone of Artificial Intelligence. Recently, with the surge in data-intensive applications and large-scale complex systems, the…

Neural and Evolutionary Computing · Computer Science 2024-04-16 Beichen Huang , Ran Cheng , Zhuozhao Li , Yaochu Jin , Kay Chen Tan

We propose Paraiso, a domain specific language embedded in functional programming language Haskell, for automated tuning of explicit solvers of partial differential equations (PDEs) on GPUs as well as multicore CPUs. In Paraiso, one can…

Instrumentation and Methods for Astrophysics · Physics 2015-06-04 Takayuki Muranushi

Solving differential equations is a critical challenge across a host of domains. While many software packages efficiently solve these equations using classical numerical approaches, there has been less effort in developing a library for…

Machine Learning · Computer Science 2025-02-19 Shuheng Liu , Pavlos Protopapas , David Sondak , Feiyu Chen

Parallel programming remains a daunting challenge, from the struggle to express a parallel algorithm without cluttering the underlying synchronous logic, to describing which devices to employ in a calculation, to correctness. Over the…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-10 Patrick Diehl , Steven R. Brandt , Hartmut Kaiser

We introduce a new approach for speech pre-training named SPIRAL which works by learning denoising representation of perturbed data in a teacher-student framework. Specifically, given a speech utterance, we first feed the utterance to a…

Audio and Speech Processing · Electrical Eng. & Systems 2022-03-08 Wenyong Huang , Zhenhe Zhang , Yu Ting Yeung , Xin Jiang , Qun Liu

We present Gridap, a new scientific software library for the numerical approximation of partial differential equations (PDEs) using grid-based approximations. Gridap is an open-source software project exclusively written in the Julia…

Mathematical Software · Computer Science 2020-04-23 Francesc Verdugo , Santiago Badia

The freud Python package is a powerful library for analyzing simulation data. Written with modern simulation and data analysis workflows in mind, freud provides a Python interface to fast, parallelized C++ routines that run efficiently on…

Pregel is a popular distributed computing model for dealing with large-scale graphs. However, it can be tricky to implement graph algorithms correctly and efficiently in Pregel's vertex-centric model, especially when the algorithm has…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-09-07 Yongzhe Zhang , Hsiang-Shang Ko , Zhenjiang Hu

Machine learning components commonly appear in larger decision-making pipelines; however, the model training process typically focuses only on a loss that measures accuracy between predicted values and ground truth values. Decision-focused…

Machine Learning · Computer Science 2019-07-19 Aaron Ferber , Bryan Wilder , Bistra Dilkina , Milind Tambe

Neural network architectures are most often conceptually designed and described in visual terms, but are implemented by writing error-prone code. PrototypeML is a machine learning development environment that bridges the dichotomy between…

Machine Learning · Computer Science 2020-07-03 Daniel Reiss Harris