The PARKAS (INRIA and ENS/DI), PEQUAN (UPMC/LIP6) teams and IRILL are glad to invite you to a mini-workshop bringing together researchers in parallelizing compilation, polyhedral algorithms, scientific computing on GPUs, and formal methods for signal-processing and control systems.
Thursday January 30th, Cagdas Bozman (OCamlPro - ENSTA) will come at IRILL to talk about "Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement"
Thursday January 16th, Gabriel Kerneis (Computer Laboratory - University of Cambridge) will come at IRILL to talk about "QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines"
January 24th, IRILL will host the Ceylon Tour Paris 2014. The Ceylon Project is a relatively new, high-level, statically and strong-typed programming language and SDK, created by Red Hat. It is based on the Java programming language.