Program for stream Systematic and computer-aided analyses of optimization algorithms

MB-08: Systematic and computer-aided analyses I: Analyses of proximal splittings methods & friends
Stream: Systematic and computer-aided analyses of optimization algorithms
Room: B100/7007
Chair(s): Aymeric Dieuleveut

• The Augmented Lagrangian Method for Infeasible Convex Optimization
  Roland Andrews
• Difference-of-convex algorithm with weakly convex functions: improved splitting technique and equivalence with proximal gradient descent
  Teodor Rotaru, Panagiotis Patrinos, François Glineur
• Forward-backward type splitting algorithms with minimal lifting I
  Anton Åkerman, Emanuele Naldi, Enis Chenchene, Pontus Giselsson
• Forward-backward type splitting algorithms with minimal lifting II
  Emanuele Naldi, Anton Åkerman, Enis Chenchene, Pontus Giselsson

MC-08: Systematic and computer-aided analyses II: Systematic algorithmic design approaches
Stream: Systematic and computer-aided analyses of optimization algorithms
Room: B100/7007
Chair(s): François Glineur

• Exact Verification of First-Order Methods via Mixed-Integer Linear Programming
  Vinit Ranjan, Jisun Park, Stefano Gualandi, Andrea Lodi, Bartolomeo Stellato
• Tight Analysis of Second-Order Optimization Methods via Interpolation of generalized Hessian Lipschitz Univariate Functions
  François Glineur, Nizar Bousselmi, Julien Hendrickx, Anne Rubbens
• Forward-backward algorithms with deviations
  Sebastian Banert

MD-08: Systematic and computer-aided analyses III: noisy gradient methods and fixed-point algorithms
Stream: Systematic and computer-aided analyses of optimization algorithms
Room: B100/7007
Chair(s): Baptiste Goujaud, François Glineur

• Tight analyses of first-order methods with error feedback
  Daniel Berg Thomsen
• On fundamental proof structures in first-order optimization
  Aymeric Dieuleveut, Baptiste Goujaud, Adrien Taylor
• An invariance theory for complete characterization of exact optimal fixed-point algorithm family
  TaeHo Yoon, Ernest Ryu, Benjamin Grimmer
• Performance Estimation framework for a range of stochastic first-order methods.
  Anne Rubbens, Julien Hendrickx

TB-08: Systematic and computer-aided analyses IV: Online & distributed gradient methods
Stream: Systematic and computer-aided analyses of optimization algorithms
Room: B100/7007
Chair(s): Manu Upadhyaya, Baptiste Goujaud

• Constructive approach to worst-case analysis and algorithm design in online convex optimization
  Julien Weibel
• A Linear Parameter-Varying framework for the analysis of time-varying optimization algorithms.
  Fabian Jakob, Andrea Iannelli
• Computer-Aided Analysis of Decentralized Online Optimization Algorithms
  Erwan Meunier, Julien Hendrickx

TC-08: Systematic and computer-aided analyses V: Tools for systematic studies of first-order algorithms
Stream: Systematic and computer-aided analyses of optimization algorithms
Room: B100/7007
Chair(s): Manu Upadhyaya, Adrien Taylor

• Data-driven Analysis of First-order Methods via Distributionally Robust Optimization
  Jisun Park, Vinit Ranjan, Bartolomeo Stellato
• Computer-aided analysis of relatively inexact gradient descent in smooth convex optimization
  Pierre Vernimmen, François Glineur
• AutoLyap: A Python package for computer-assisted Lyapunov analyses for first-order methods
  Manu Upadhyaya, Adrien Taylor, Sebastian Banert, Pontus Giselsson

WC-02: Systematic and computer-aided analyses VI: Systematic approaches to the analyses of proximal and higher-order methods
Stream: Systematic and computer-aided analyses of optimization algorithms
Room: B100/7011
Chair(s): Manu Upadhyaya, Baptiste Goujaud

• SDP performance estimation for the boosted DCA
  Etienne De Klerk, Hadi Abbaszadehpeivasti
• A unified Lyapunov analysis for first and second order methods attached to bilevel optimization
  David Alexander Hulett, Radu Ioan Bot, Enis Chenchene, Robert Csetnek
• Designing Monotone Operator Splitting Algorithms with Steering Vectors
  Max Nilsson, Sebastian Banert, Pontus Giselsson