Benoît Legat

Benoît Legat is a postdoctoral associate at MIT with Prof. Pablo Parrilo in the Laboratory for Information and Decision Systems (LIDS). He received his Ph.D. degree in applied mathematics from the UCLouvain, Belgium, in 2020. His research interests include mathematical optimization, invariant set computation and optimal control.


16:30 UTC

Symmetry reduction for Sum-of-Squares programming

07/28/2021, 4:30 PM5:00 PM UTC
JuMP Track

In this talk we discuss a symmetry reduction approach relying on the invariance of the polynomial under a group of actions. From the algebraic properties of the group, the SymbolicWedderburn package determines a change of basis that enables the decomposition of the constraints into smaller bases, some of them being equal which further reduces the problem. We show how to specify the group symmetry to allow SumOfSquares to perform this reformulation automatically.

20:10 UTC

MutableArithmetics: An API for mutable operations

07/29/2021, 8:10 PM8:20 PM UTC

The definition of the arithmetic operations defined in Julia assume that the arguments are not modified. However, in many situations, a variable represents an accumulator that can be modified to contain the result, e.g., when summing the elements of an array. Moreover, many types can be mutated and mutating the element may have significant performance benefit. This talk presents an interface that allows algorithms to exploit a possible mutability while still being completely generic.

Platinum sponsors

Julia Computing

Gold sponsors

Relational AI

Silver sponsors

Invenia LabsConningPumas AIQuEra Computing Inc.King Abdullah University of Science and TechnologyDataChef.coJeffrey Sarnoff

Media partners

Packt Publication

Fiscal Sponsor