23 Mar 2023 → 20 Apr 2023 Seminar Persistent data structures 23 Mar 2023 → 20 Apr 2023 Share Facebook X (ex-Twitter) Linkedin Copy url
from Thursday 23 March to Thursday 20 April 2023 See also: Related LectureXavier Leroy Balanced binary tree. Documents and media Download program pdf (436.53 KB) Program Lecture 09:30 - 11:00 Nothing is lost, everything is created : an introduction to persistent data structures Xavier Leroy 09 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00 Lecture 09:30 - 11:00 Balanced trees + copying branches = persistent dictionaries Xavier Leroy 16 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00 Lecture 09:30 - 11:00 Reconciling amortization and persistence : the importance of laziness Xavier Leroy 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00 Seminar 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15 Lecture 09:30 - 11:00 How do you make an imperative structure persistent ? Xavier Leroy 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00 Seminar 11:15 - 12:15 Semi-persistent data structures Jean-Christophe Filliâtre 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15 Lecture 14:00 - 15:30 Numbering systems and non-regular types Xavier Leroy 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 14:00 - 15:30 Seminar 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 15:45 - 16:45 Lecture 09:30 - 11:00 From formal derivation to structure navigation : contexts, zippers, indexes, etc. Xavier Leroy 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 09:30 - 11:00 Seminar 11:15 - 12:15 How to combine persistence and performance Arthur Charguéraud 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 11:15 - 12:15 Lecture 09:30 - 11:00 In search of the lost vector : theoretical limits and conclusions Xavier Leroy 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 09:30 - 11:00 Seminar 11:15 - 12:15 An algebra of modifications, or : version control for everyone Pierre-Etienne Meunier 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 11:15 - 12:15 See also Lecture related to the seminar: Persistent data structures Xavier Leroy, chair Software Science
Lecture 09:30 - 11:00 Nothing is lost, everything is created : an introduction to persistent data structures Xavier Leroy 09 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00
Lecture 09:30 - 11:00 Balanced trees + copying branches = persistent dictionaries Xavier Leroy 16 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00
Lecture 09:30 - 11:00 Reconciling amortization and persistence : the importance of laziness Xavier Leroy 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00
Seminar 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15
Lecture 09:30 - 11:00 How do you make an imperative structure persistent ? Xavier Leroy 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00
Seminar 11:15 - 12:15 Semi-persistent data structures Jean-Christophe Filliâtre 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15
Lecture 14:00 - 15:30 Numbering systems and non-regular types Xavier Leroy 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 14:00 - 15:30
Seminar 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 15:45 - 16:45
Lecture 09:30 - 11:00 From formal derivation to structure navigation : contexts, zippers, indexes, etc. Xavier Leroy 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 09:30 - 11:00
Seminar 11:15 - 12:15 How to combine persistence and performance Arthur Charguéraud 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 11:15 - 12:15
Lecture 09:30 - 11:00 In search of the lost vector : theoretical limits and conclusions Xavier Leroy 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 09:30 - 11:00
Seminar 11:15 - 12:15 An algebra of modifications, or : version control for everyone Pierre-Etienne Meunier 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 11:15 - 12:15
