Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
France 2030
Joint Laboratories
ANR Projects
Activity reports
Valorisation
Our skills
Works with us
Software
Patents
Start-ups
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
News
Archives
All current and past events
APR
2025
03/27/2025:
Thin spans and their modelling of rigid intersection types
03/18/2025:
Sound static analysis of modern software architectures
03/06/2025:
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation
2024
11/14/2024:
[ERC TORI] Challenges and Accomplishments of the "Full Field" Inference Method BORG (Bayesian Origin Reconstruction from Galaxies)
2020
03/12/2020:
[Séminaire APR] Sémantique des programmes probabilistes
02/20/2020:
[Séminaire APR] Toward more generic and robust constraint solvers
2019
05/23/2019:
Michelson : langage de smart-contracts de la blockchain Tezos
05/13/2019:
Developments in Property-Based Testing
03/28/2019:
An abstract domain for trees with numeric relations
03/21/2019:
Questions de l’heure en combinatoire algébrique.
03/14/2019:
Get rid of inline assembly through trustable verification-oriented lifting
03/07/2019:
Lasp: Elements of a programming language for edge computing
02/21/2019:
Towards verified modelling of Digital Signal Processing algorithms
2018
11/08/2018:
Une introduction à l'analyse topologique de données
10/18/2018:
"MrPython: Terre de Contraste: Entre Tradition et Modernité" (titre provisoire)
10/11/2018:
Tierless Web programming in ML
06/14/2018:
Relational summaries for interprocedural analysis
05/31/2018:
Développement de programmes impératifs par raffinements, au sein de l'assistant de preuves Coq
05/17/2018:
Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
04/12/2018:
Complexité Causale des Processus
03/15/2018:
La reconnaissance de motifs hybride. Application aux flots de liens.
2017
12/15/2017:
Link Stream Edition: Sparse Split and Bi-Sparse Split
12/14/2017:
Language-integrated queries: a BOLDR approach
12/07/2017:
Spacetime Programming: A Synchronous Language for Combinatorial Exploration
11/23/2017:
Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
11/09/2017:
Cubicle : a model checker for parameterized array-based transition systems.
10/27/2017:
Etude de l’efficacite d’un code correcteur et cycles dans son graphe de Tanner
10/13/2017:
F-M-DELETION paramétré par la largeur arborescente.
09/18/2017:
Statistical Similarity of Binaries; At Scale
06/22/2017:
Séminaire APR: Advances in the combinatorial characterization of correlation-immune Boolean functions
02/24/2017:
Séminaire APR: On static malware detection
01/26/2017:
Séminaire APR: Synthesizing Ranking Functions From Bits and Pieces
01/15/2017:
44
th
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
2016
11/24/2016:
Le langage Leibniz pour le calcul scientifique
11/10/2016:
Introduction aux /blockchains/.
06/16/2016:
Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL
06/09/2016:
Merlin : des EDIs modernes pour OCaml... et Reason
04/07/2016:
Sous le capot du MOOC OCaml
03/24/2016:
Verifying clock-directed modular code generation for Lustre
02/04/2016:
Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS
2015
12/10/2015:
On the Expressiveness of Asynchronous Multiparty Sessions
11/27/2015:
Abstracting Gradual Typing
06/08/2015:
Journée en l'honneur de Christian Queinnec
04/14/2015:
Renouveau de l'intégration en OCaml
04/10/2015:
Un cadre formel adapté aux réseaux de robots mobiles.
03/27/2015:
Higher Order Fixpoint Logic: Expressiveness and Descriptive Complexity
03/24/2015:
Théorie des types pour les concepteurs de circuits. Le cas du langage CAPH.
03/20/2015:
Programmation BSP à la ML : exemples, utilisation pour la vérification de codes et perspectives pour les architectures hiérarchiques
03/13/2015:
Verification of embedded C software using static analysis by abstract interpretation
03/06/2015:
Motivations for Bernoulli measures on heap monoids
01/27/2015:
FreeFem++, un logiciel de résolution numérique d'équations aux dérivés partielles
2014
12/09/2014:
State of the Mirage: an OCaml unikernel
06/16/2014:
25
th
International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
04/10/2014:
Borner la consommation de mémoire dynamique
03/13/2014:
Representation and simulation of dynamical systems with a high degree of combinatorial explosion
02/27/2014:
Types you can count on: Like types for JavaScript
02/13/2014:
Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
01/30/2014:
[ANNULATION] Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
2013
06/20/2013:
De l'interaction entre granularités fonctionnelle et modulaire
05/23/2013:
Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell
04/25/2013:
Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
04/11/2013:
Use formal methods to verify an Ada program with SPARK2014
03/28/2013:
OCaml-Java : OCaml sur la JVM
03/21/2013:
On the provenance of Free and Open Source Software and the legal implications of its reuse
03/14/2013:
Patoline : la typographie "lego" en OCaml
02/28/2013:
Harmony : Une plate-forme d'observation de l'évolution logicielle
02/14/2013:
Le sens du partage
01/31/2013:
Hosting and Automation at the OSUOSL
2012
11/14/2012:
Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
10/15/2012:
Analysis of an exhaustive search algorithm in random graphs and the n^{c log n}-asymptotics,
2011
12/14/2011:
Conférence "Philippe Flajolet et la Combinatoire Analytique"