Laboratoire d’informatique Sorbonne Université - CNRS UMR 7606

Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

Archive

APR

2026

19/05/2026: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
31/03/2026: Reachability of quantified problems to guarantee control and neural network properties
24/03/2026: Towards Reliable and Efficient Numerical Code through Sound Optimizations
17/03/2026: Compiling Higher-Order Bayesian Networks
10/03/2026: Observation Petri nets
24/02/2026: Memory Allocators: Formal Verification and Evaluation
17/02/2026: Static Typing of Dynamic Languages: A set-theoretic type algebra for the R language
10/02/2026: A Journey into the (In)Completeness of Program Analysis by Abstract Interpretation
27/01/2026: Detecting of timing leaks of programs using parametric timed model checking

2025

27/03/2025: Thin spans and their modelling of rigid intersection types
18/03/2025: Sound static analysis of modern software architectures
06/03/2025: Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

2024

14/11/2024: [ERC TORI] Challenges and Accomplishments of the "Full Field" Inference Method BORG (Bayesian Origin Reconstruction from Galaxies)

2020

12/03/2020: [Séminaire APR] Sémantique des programmes probabilistes
20/02/2020: [Séminaire APR] Toward more generic and robust constraint solvers

2019

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

2018

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.

2017

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: 44^th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)

2016

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

2015

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

2014

2013

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

2012

2011

14/12/2011: Conférence "Philippe Flajolet et la Combinatoire Analytique"