talk-data.com talk-data.com

Filter by Source

Select conferences and events

Showing 2 results

Activities & events

Title & Speakers Event

Julia has a JIT compiler that works by doing type inference on code. It tries to guess the types of the variables. With strongly typed languages, the compiler simply mark miss-typed variables as error. But what happens in flexible languages where no such error exists ? How the compiler manage control-flow and exceptions ? We will present how type inference works in Julia and which techniques Julia's people came up to overcome difficulties.

julia jit compiler type inference

Le projet control-toolbox rassemble plusieurs packages Julia conçus pour modéliser et résoudre des problèmes de contrôle optimal. Autour du package central OptimalControl.jl, il propose une architecture modulaire et performante pour définir des systèmes, implémenter différents schémas numériques, et exécuter des calculs du CPU au GPU. Je présenterai les principaux développements récents, l’organisation de l’écosystème et quelques exemples d’applications, avec un accent sur les choix de conception et de bonnes pratiques de développement.

julia control-toolbox optimalcontrol.jl
Showing 2 results