Page d’accueil 
    )

Welcome / Bienvenue

Welcome to my personal website. You can contact me by or find me on:

Bienvenue sur mon site perso. Vous pouvez me contacter par ou me trouver sur :

   •   GitHub  •   LinkedIn  •   LinuxFr  •   StackExchange  •   Twitter  •   Youtube

This website is not maintained on a regular basis!

Ce site n'est pas maintenu régulièrement !

Software

tss
[tags] in file names. A simple command-line tool, with completion for Zsh, compatible with TagSpaces. (Zsh)
Playtag
Store an audio/video file's playing parameters in the file's tags. (Python)
0pen
Create and play playlists of any types of files with geeky order/randomness options. (OCaml)
munin-forecast-weather
A Munin plugin to show weather data that was forecast for the present time. (Python)
sourcetoc
Generate tables of contents for code files in various languages. (OCaml)

See also my GitHub profile.

Cuisine

Traductions

Misc. / Divers

Research

Peer-reviewed publications

  • Grande, J. and Boudol, G. and Serrano, M. Jthread, a deadlock-free mutex library. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Siena, Italy, Jul. 2015.
  • Serrano, M. and Grande, J. Locking Fast. Proceedings of the ACM Symposium on Applied Computing (SAC'14), Gyeongju, Korea, Mar. 2014. [ PDF | HTML ]

Miscellaneous

  • (fr) Grande, J. Conception et implémentation d'un langage de programmation concurrente modulaire. Thèse de doctorat, sept. 2015. [ Officiel | Local ] CC-BY-SA + CC-BY-NC-SA.

About this website / À propos de ce site

Les premières pages de ce site ont été mises en ligne en novembre 2007 et je le maintiens très irrégulièrement depuis. Les quelques icônes sont issus du projet Tango. Ce site est hébergé par le Cr@ns.

This website collects anonymized-only traffic data on a private Matomo instance. To opt out entirely, use a content blocker such as uBlock.
Ce site collecte des données d'audience anonymisées uniquement sur une instance privée de Matomo. Pour empêcher toute collecte d'information, utilisez un bloqueur de contenu tel qu'uBlock.