Raphaël Jakse

A blog is coming! In the meantime…

Hobby projects

Moved to the attic

These projects are no longer relevant for various reasons.

Maintained Websites

Software projects as a student

I've developed those two projects under the supervision of Yliès Falcone during my studies, including my Ph.D.

Sporadic contributions to free software during my free time

  • I helped make GPS work when not SIM is unlocked in ModemManager (issue)
  • I added support for large LTL formulae in the Spin model checker (pull) (actually not in my free time but during my Ph.D. But free time and work time are synonymous when doing a Ph.D, right? :-))
  • I reported numerous bugs on KDE (list) and in other projects.
  • I brought minor documentation improvements to Halium, F-Droid, WP Super Cache (pending), qea (a research runtime verification tool)
  • I fixed a minor bug (incorrect value for a property) in the Mozilla Rhino Javascript engine (pull request)
  • I fixed a minor bug in the Clementine media player (pull), that has since been overwritten anyway
  • I fixed a presentation bug in the playlist view of the Odissey media player for Android (pull)
  • I brought automatic data for MMS in LineageOS 14.1 for the Lenovo P2a42 phone, by reapplying an existing patch (pull)
  • I fixed a minor lack of typing in DefinitivelyTyped for the big-integer library (pull)
  • I lowered the minimum volume in Rockbox for the Cowon D2+ media player (patch)
  • I made Sortable, a little Javascript library to sort tables, XHTML-compatible (pull).
  • I fixed a type error in xmldom (pull)
  • And before that, I was not born.

Links:

Note about GitLab and GitHub: these would like to be social networks, but I really don't want to use them like this. I delete repositories I need to create there to open ull requests when they are merged and I keep my profiles as locked down as possible. Not contributing to projects hosted on GitHub would be impractical but I think the centralization on GitHub and the network effect it creates is harmful and I want to participate in this as little as possible.

GitHub is proprietary software (and GitLab.com too, only its core is open source) from Microsoft and yet everybody and their dogs host their free software on it. I strongly agree with Drew DeVault's blog post It is important for free software to use free software infrastructure. CodeBerg is a nice alternative if you don't want to self host your code. It's based on free software, Forgejo, a fork of Gitea they maintain, hosted in Europe, based in Germany. Consider donating to them.

About my Ph.D.

I graduated in December 2019. I worked on Interactive runtime verification, at Université Grenoble Alpes (Laboratoire Informatique de Grenoble, INRIA, team CORSE), advised by Yliès Falcone and Jean-François Méhaut.

Interactive runtime verification consists in combining interactive debugging, which allows developers to inspect the internal state of their programs in details, but which is also a bit tedious, with runtime verification, a formal method to check execution traces produced using instrumentation against properties. The idea it to guide interactive debugging with runtime verification to make it less tedious and more systematic. You can read the following paper for an introduction:

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget: Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. ISSRE 2017.