Vorträge und Seminare seit 2006
APR
- 12.03.2020: [Séminaire APR] Sémantique des programmes probabilistes
- 20.02.2020: [Séminaire APR] Toward more generic and robust constraint solvers
- 23.05.2019: Michelson : langage de smart-contracts de la blockchain Tezos
- 13.05.2019: Developments in Property-Based Testing
- 28.03.2019: An abstract domain for trees with numeric relations
- 21.03.2019: Questions de l’heure en combinatoire algébrique.
- 14.03.2019: Get rid of inline assembly through trustable verification-oriented lifting
- 07.03.2019: Lasp: Elements of a programming language for edge computing
- 21.02.2019: Towards verified modelling of Digital Signal Processing algorithms
- 08.11.2018: Une introduction à l'analyse topologique de données
- 18.10.2018: "MrPython: Terre de Contraste: Entre Tradition et Modernité" (titre provisoire)
- 11.10.2018: Tierless Web programming in ML
- 14.06.2018: Relational summaries for interprocedural analysis
- 31.05.2018: Développement de programmes impératifs par raffinements, au sein de l'assistant de preuves Coq
- 17.05.2018: Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
- 12.04.2018: Complexité Causale des Processus
- 15.03.2018: La reconnaissance de motifs hybride. Application aux flots de liens.
- 15.12.2017: Link Stream Edition: Sparse Split and Bi-Sparse Split
- 14.12.2017: Language-integrated queries: a BOLDR approach
- 07.12.2017: Spacetime Programming: A Synchronous Language for Combinatorial Exploration
- 23.11.2017: Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
- 09.11.2017: Cubicle : a model checker for parameterized array-based transition systems.
- 27.10.2017: Etude de l’efficacite d’un code correcteur et cycles dans son graphe de Tanner
- 13.10.2017: F-M-DELETION paramétré par la largeur arborescente.
- 18.09.2017: Statistical Similarity of Binaries; At Scale
- 22.06.2017: Séminaire APR: Advances in the combinatorial characterization of correlation-immune Boolean functions
- 24.02.2017: Séminaire APR: On static malware detection
- 26.01.2017: Séminaire APR: Synthesizing Ranking Functions From Bits and Pieces
- 15.01.2017: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
- 24.11.2016: Le langage Leibniz pour le calcul scientifique
- 10.11.2016: Introduction aux /blockchains/.
- 16.06.2016: Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL
- 09.06.2016: Merlin : des EDIs modernes pour OCaml... et Reason
- 07.04.2016: Sous le capot du MOOC OCaml
- 24.03.2016: Verifying clock-directed modular code generation for Lustre
- 04.02.2016: Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS
- 10.12.2015: On the Expressiveness of Asynchronous Multiparty Sessions
- 27.11.2015: Abstracting Gradual Typing
- 08.06.2015: Journée en l'honneur de Christian Queinnec
- 14.04.2015: Renouveau de l'intégration en OCaml
- 10.04.2015: Un cadre formel adapté aux réseaux de robots mobiles.
- 27.03.2015: Higher Order Fixpoint Logic: Expressiveness and Descriptive Complexity
- 24.03.2015: Théorie des types pour les concepteurs de circuits. Le cas du langage CAPH.
- 20.03.2015: Programmation BSP à la ML : exemples, utilisation pour la vérification de codes et perspectives pour les architectures hiérarchiques
- 13.03.2015: Verification of embedded C software using static analysis by abstract interpretation
- 06.03.2015: Motivations for Bernoulli measures on heap monoids
- 27.01.2015: FreeFem++, un logiciel de résolution numérique d'équations aux dérivés partielles
- 09.12.2014: State of the Mirage: an OCaml unikernel
- 16.06.2014: 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
- 10.04.2014: Borner la consommation de mémoire dynamique
- 13.03.2014: Representation and simulation of dynamical systems with a high degree of combinatorial explosion
- 27.02.2014: Types you can count on: Like types for JavaScript
- 13.02.2014: Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 30.01.2014: [ANNULATION] Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 20.06.2013: De l'interaction entre granularités fonctionnelle et modulaire
- 23.05.2013: Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell
- 25.04.2013: Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
- 11.04.2013: Use formal methods to verify an Ada program with SPARK2014
- 28.03.2013: OCaml-Java : OCaml sur la JVM
- 21.03.2013: On the provenance of Free and Open Source Software and the legal implications of its reuse
- 14.03.2013: Patoline : la typographie "lego" en OCaml
- 28.02.2013: Harmony : Une plate-forme d'observation de l'évolution logicielle
- 14.02.2013: Le sens du partage
- 31.01.2013: Hosting and Automation at the OSUOSL
- 14.11.2012: Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
- 15.10.2012: Analysis of an exhaustive search algorithm in random graphs and the n^{c log n}-asymptotics,
- 14.12.2011: Conférence "Philippe Flajolet et la Combinatoire Analytique"