Sat 17 Jun 2023 09:20 - 09:40 at Magnolia 5 - DRAGSTERS: Session 1

Quadratic programs (QP), minimizations of quadratic objectives subject to linear inequality and equality constraints, are at the heart of algorithms across scientific domains. Applications include fundamental tasks in geometry processing, simulation, engineering, animation and finance where the accurate, reliable, efficient, and scalable solution of QP problems is critical. However, available QP algorithms generally provide either accuracy or scalability – but not both. Some algorithms reliably solve QP problems to high accuracy but work only for smaller-scale QP problems due to their reliance on dense matrix methods. Alternately, many other QP solvers scale well via sparse, efficient algorithms but cannot reliably deliver solutions at requested accuracies. Towards addressing the need for accurate \emph{and} efficient QP solvers at scale, we develop NASOQ, a new, full-space QP algorithm that provides accurate, efficient, and scalable solutions for QP problems. To enable NASOQ we construct a new row modification method and fast implementation of LDL factorization for indefinite systems. Together they enable efficient updates and accurate solutions of the iteratively modified KKT systems required for accurate QP solves. While QP methods have been previously tested on large synthetic benchmarks, to test and compare NASOQ’s suitability for real-world applications we collect here a new benchmark set comprising a wide range of graphics-related QPs across physical simulation, animation, and geometry processing tasks. We combine these problems with numerous pre-existing stress-test QP benchmarks to form, to our knowledge, the largest-scale test set of application-based QP problems currently available. Building off of our base NASOQ solver we then develop and test two NASOQ variants against best, state-of-the-art available QP libraries – both commercial and open-source. Our two NASOQ-based methods each solve respectively 98.8% and 99.5% of problems across a range of requested accuracies from $10^{-3}$ to $10^{-9}$ with average speedups ranging from 1.7$\times$ to 24.8$\times$ over fastest competing methods.

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
09:00
20m
Talk
Matrix Decompositions over Database Joins
DRAGSTERS
Dan Olteanu University of Zurich, Nils Vortmeier Ruhr University Bochum, Dorde Zivanovic University of Oxford
09:20
20m
Talk
NASOQ: Numerically Accurate Sparsity-Oriented QP Solver
DRAGSTERS
Kazem Cheshmi McMaster University, Maryam Mehri Dehnavi University of Toronto
09:40
20m
Talk
UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
DRAGSTERS
Jie Liu Cornell University, Zhongyuan Zhao , Zijian Ding Peking University, Benjamin Brock Parallel Computing Lab (PCL), Intel, Hongbo Rong Intel Labs, Zhiru Zhang Cornell University, USA
10:00
20m
Talk
Unification as a means of completing partial data structures
DRAGSTERS
Joachim Kristensen University of Oslo, Robin Kaarsgaard University of Southern Denmark, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen
10:20
20m
Talk
Formalizing DRAGSTERS
DRAGSTERS
Scott Kovach Stanford University
10:40
20m
Talk
Scaling Decision--Theoretic Probabilistic Programming Through Factorization
DRAGSTERS
Minsung Cho Northeastern University, Steven Holtzen Northeastern University