The HTML page of S. A. Mimram

Samuel Mimram
samuel.mimram@cea.fr

I have done my PhD thesis in the PPS team and I am now working in the MeASI team at CEA Saclay. You can have a look at my outdated curriculum vitæ. My official affiliation is CEA, LIST.

Research interests

Denotational semantics (game semantics in particular), concurrency, rewriting theory, category theory, linear logic, programming languages, algebraic topology, hybrid systems.

Publications

Asynchronous Game semantics

• From Asynchronous Games to Concurrent Games with Paul-André Melliès, unpublished manuscript.
• Focusing in Asynchronous Games, invited presentation at the 6th conference on Computability In Europe (CIE'10), in proceedings, LNCS volume 6158, pages 331-341, 2010 (arXiv, HAL, presentation).
• Asynchronous Games: Innocence without Alternation with Paul-André Melliès, 18^th International Conference on Concurrency Theory (CONCUR'07), volume 4703 of LNCS, pages 395-411, 2007 (arXiv, HAL).

Higher-dimensional rewriting theory

• A Homotopical Completion Procedure with Applications to Coherence of Monoids with Yves Guiraud and Philippe Malbos, accepted at RTA'13 (HAL).
• Towards Higher-Dimensional Rewriting Theory, submitted.
• Representing 2-Dimensional Critical Pairs, unpublished manuscript.
• The Structure of First-Order Causality (extended version), Mathematical Structures in Computer Science 21 (01), pages 65-110, 2011 (arXiv, HAL).
• Computing Critical Pairs in 2-Dimensional Rewriting Systems, in proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010), pages 226-242, 2010 (arXiv, HAL, presentation).
• The Structure of First-Order Causality, 24^th Symposium on Logic in Computer Science (LICS'09), in proceedings, pages 212-221, 2009 (arXiv, HAL, presentation).

Models for concurrency

• A Categorical Theory of Patches, accepted at MFPS'13.
• A Geometric View of Partial-Order Reduction with Éric Goubault, Emmanuel Haucourt and Tobias Heindel, accepted at MFPS'13 (older version).
• Trace Spaces: an Efficient New Technique for State-Space Reduction with Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt and Martin Raussen, ESOP'12 (arXiv, HAL, presentation).
• Formal Relationships Between Geometrical and Classical Models for Concurrency, with Eric Goubault, Electronic Notes in Computer Science 283, pages 77–109, 2012 (arXiv, HAL, short version).
• Rigorous evidence of freedom from concurrency faults in industrial control software, with Richard Bonichon, Géraud Canet, Loïc Correnson, Éric Goubault, Emmanuel Haucourt, Michel Hirschowitz and Sébastien Labbé, in proceedings of SAFECOMP 2011, LNCS 6894, pages 85-98, 2011.

Hybrid systems

• Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods with Olivier Bouissou and Alexandre Chapoutot, submitted.
• HySon: Set-based Simulation of Hybrid Systems with Olivier Bouissou and Alexandre Chapoutot, in 23rd IEEE International Symposium on Rapid System Prototyping (RSP'12), pages 79–85, 2012 (HAL).
• A Non-Standard Semantics for Kahn Networks in Continuous Time with Romain Beauxis, in Computer Science Logic (CSL’11) – 25th International Workshop/20th Annual Conference of the EACSL, volume 12 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35–50, 2011 (arXiv, HAL, slides).

Webradios

• Liquidsoap: a High-Level Programming Language for Multimedia Streaming, in proceedings of SOFSEM 2011, pages 99-110, 2011 (arXiv, HAL).
• De la webradio lambda à la λ-webradio with David Baelde, Journées Francophones des Langages Applicatifs (JFLA'08), in proceedings, pages 47-62, 2008 (HAL).

PhD thesis

• My PhD thesis Sémantique des jeux asynchrones et réécriture 2-dimensionnelle (TEL) with its presentation.

Reports

• Innocence asynchrone, master thesis report (slides).
• Décidabilité de l'égalité dans les catégories avec familles, master 2 internship with Thierry Coquand in Göteborg, Sweden (slides).
• JoCaml et le join-calcul, report for master 1 course (slides).
• Recherche automatique de preuves dans une logique spatiale sur le π-calcul, MIM₁ internship with Daniel Hirshckoff and Étienne Lozes in Lyon (slides).
• Mes fiches de prépa.

Presentations

2013

• Discrete Morse Theory, working group, 21 January 2013.

2012

• Minimal Resolutions via Algebraic Morse Theory, working group, 15 November 2012.
• Koszul Duality for Algebras, working group, 10 October 2012.
• The Higher-Dimensional Structure of Partial Orders, Oxford seminar, 15 June 2012.
• The Higher-Dimensional Structure of Partial Orders, recontres CHoCoLa, 10 May 2012, Lyon.
• Trace Spaces: an Efficient New Technique for State-Space Reduction, ESOP 2012 conference, 26 March 2012.
• The Structure of First-Order Causality, Logique et interactions, Marseille, 28 February 2012.
• Guaranteed Topological Methods for Dynamical Systems, séminaire LMeASI, 25 January 2012.

2011

• Towards Efficient Computation of Trace Spaces of Concurrent Programs, séminaire, Orsay, 18 November 2011.
• A Non-Standard Model for Kahn Networks in Continuous Time, Séminaire PPS, Paris, 15 November 2011.
• Towards Efficient Computation of Trace Spaces of Concurrent Programs, Workshop on Computational Topology, Toroto, Canada, 8 November 2011.
• Critical Pairs in 2-Dimensional Rewriting Systems, Operads and Rewriting, Lyon, 3 November 2011.
• Towards Efficient Computation of Trace Spaces of Concurrent Programs, workshop CHOCO, Lyon, 4 April 2011.

2010

• Quillen Model Categories Model Martin-Löf Type Theory with Identity Types, working group, CIRM, Luminy, December 2010.
• Algebraic Tools in Game Semantics, GT Jeux, 26 october 2010.
• Cubical Sets and Petri Nets: an Adjunction, workshop on Geometric and Topological Methods in Computer Science (GETCO'10), 11 january 2010.

2009

• A Local View on Innocence, workshop in Roma, 24 April 2009.
• Jeux et Sémantique : journée Théorie des Jeux et Informatique, 18 février 2009.

2008

• De la webradio lambda à la λ-webradio : groupe de travail programmation de PPS, 20 novembre 2008.
• Présentation d'une sémantique de jeux pour la quantification du premier ordre : réunion de l'ANR INVAL, 25 septembre 2008.
• Ma présentation du 1^er avril 2008 à l'EJCIM intitulée Une sémantique de jeux asynchrone pour la logique linéaire.

2007

• Ma présentation du 20 décembre 2007 à la réunion de l'ANR CHOCO intitulée Innocence dans les sémantiques de jeux asynchrones.
• Ma présentation du 7 septembre 2007 à la conférence CONCUR 2007 intitulée Asynchronous Games: Innocence without Alternation.
• Ma présentation au groupe de travail concurrence du 21 juin 2007 intitulée Asynchronous Games: Innocence without Alternation.

2006

• La présentation (et mes notes) que j'ai faite à la rencontre GÉOCAL du 30 octobre 2006, à Lyon, sur Une théorie algébrique de la sémantique des jeux.
• La présentation que j'ai donnée au séminaire thésards le 15 mars 2006 sur l'innocence asynchrone et non alternée.
• La présentation (et mes notes) que j'ai faite à la rencontre GÉOCAL du 24 février 2006 au CIRM, à Luminy sur l'innocence non alternée.

2005

• Ma présentation sur l'innocence asynchrone à la rencontre GÉOCAL du 20 juin 2005.

Teaching

MPRI

• Les TD de λ-calcul et catégories donnés au MPRI.

Older

• La (vieille) page de mes enseignements.
• Des TDs de caml que j'ai donné en sup.

Students

• Paul-Elliot Angles d'Auriac, master 1, 2012: Transfer Principles for Non-Standard Analysis.

Prog

• Savonet est un générateur de streams musicaux permettant de faire une radio par le web (il est capable de maintenir une base de donnée des fichiers musicaux disponibles, de gérer des règles de programmation évoluées et est doté d'une interface web, telnet et irc pour que les auditeurs puissent interagir en temps réel avec la radio). J'en maintiens des packages Debian de la nouvelle version.
• An OCaml binding to OpenCL. This version is still preliminary, comments are very welcome.
• strid, a string diagram generator.
• ocaml-glpk, une librarie caml qui est un binding de GLPK.
• Funk, un petit noyau programmé en caml (si si c'est possible !).
• motocal, un petit programme ocaml pour synchroniser mon calendrier Evolution et mon téléphone portable Motorola.
• Le patch ocaml-memprof pour étudier la consommation mémoire des programmes caml (cf. le readme) mis à jour pour OCaml 4.00.0 (et OCaml 3.09.3, 3.10.0). Ce patch a été créé par Fabrice Le Fessant, je n'ai fait que le mettre à jour pour les versions récentes d'OCaml.
• Bed, un éditeur de texte qui tente de s'acquiter efficacement de sa tâche (l'indentation en particulier).
• gkrellm-cpuspeed un plugin gkrellm qui affiche la vitesse du processeur en se fondant sur /proc/cpu (contrairement à gkrellm-x86info qui recalcule cette vitesse ce qui donne des résultats moins probants sur mon ordi avec speedstep).
• irc.ml (le mli et la doc correspondants), un joli petit module Caml pour faire des clients (ou des bots) IRC. Celui-ci a servi de base à camlquizz, un bot pour faire des quizz sur IRC (allez voir le canal #superquizz de irc.rezosup.org).
• skeg, un projet images dont le but est d'animer un pingouin en metaballs en utilisant des techniques de cinématique inverse.
• bifton est un compilateur d'un sous-ensemble de Pascal en assembleur i386 et sparc écrit en caml.
• Roudoudou est un éditeur de partitions graphique en frontend pour lilypond (qui est lui-même un éditeur de partitions fondé sur LaTeX) programmé en Java (POOGL en MIM₁). Il est loin d'être en version finale, ni même en version β, ni même d'être utilisable étant donné que la syntaxe de lilypond a quelque peu évolué depuis la version 2.0.0…
• Un interpréteur lisp programmé en OCaml dont je doute qu'il puisse un jour servir à qu[o]i que ce soit (second DM de MIM₁). Il contient quelques erreurs importantes de conception, bien cachées…
• Fractcompr est un programme permettant de compresser des images par compression fractale écrit en OCaml (premier DM de MIM₁).
• J'essaie aussi de maintenir des packages Debian.

Links

• Le Groupe de Travail Modélisation, Optimisation et Analyse Statique au CIRM du 7 au 11 janvier 2013.
• Le séminaire LMeASI.
• My band's website.
• My father's website.
• My girlfriend's homepage and her food blog.

Misc

• My CV.
• My public keys: ssh and gpg.
• Les partitions de la fantaisie et fugue en sol mineur bwv 542 de Bach (ou en midi) que je soumettrai un jour à Mutopia quand j'aurai le courage de finir tout ça (fut une époque où je savais moi-même écrire des machins comme ça).