- How do we get from the model to its implementation? 
- What kind of optimizations are performed on DNN?
- How to gain confidence in automatic transformations for use in certified systems?
- How do these optimizations compare to optimization performed by compilers or a certification perspective ?
-  Issues raised by ML acceleration hardware

(Abstract to be updated)