My name is Dimitri Racordon.
I love coding, running, cheese, coffee, whisky and playing Stracraft 2, in no particular order.
I am a post-doc research at University of Geneva, Swizterland, in Didier Buchs’s group.
My work focuses on type-based approaches for memory safety.
My main research interests include type systems (obviously), language design, compiler construction and virtual machine implementations.
I dedicated my Ph.D. dissertation to the study of memory assignment semantics in programming languages.
Besides research, I am also actively involved in software development and engineering.
Most (if not all) of my work is open source and available on my GitHub profile.
List of publications
- Savic N., Racordon D., Buchs D., Gasic B., Vernez D. TREXMO: a translation tool to support the use of regulatory occupational exposure models. Annals of Occupational Hygiene, Volume 60(8), pages 991 — 1008
- Colange M., Racordon D., Buchs D. Computing Bounds for Counter Automata. Electronic Communication of the European Association of Software Science and Technology, Volume 72
- Racordon D., Buchs D. Featherweight Swift: A Core Calculus for Swift’s Type System. Proceedings of the 13th International Conference on Software Language Engineering (SLE), Virtual, pages 140 — 154, November 2020
- Racordon D., Coet A., Stachtiari E., Buchs D. Solving Schedulability as a Search Space Problem with Decision Diagrams. International Symposium on Search Based Software Engineering (SSBSE), Virtual, pages 73 — 87, October 2020
- Racordon D., Buchs D. A practical Type System for Safe Aliasing. Proceedings of the 12th International Conference on Software Language Engineering (SLE), Boston, USA, pages 113 — 146, October 2018
- Buchs D., Klikovits S., Linard A., Mencattini R., Racordon D. A model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Proceedings of the 39th International Conference on Application and Theory of Petri nets and Concurrency (Petri Nets), Bratislava, Slovakia, pages 385 — 395, July 2018
- Racordon D., Buchs D. Démystifier les concepts informatiques par l’expérimentation. Proceedings of the 7th Symposium on Computer Teaching (Didapro), Lausanne, Switzerland, pages 219 — 233, February 2018
- Savic N., Racordon D., Buchs D., Gasic B., Vernez D. TREXMO: un nouvel outil d’aide à l’utilisation de modèles pour l’évaluation de l’exposition professionnelle. Conférence INRS 2015 sur la recherche en santé au travail, Nancy, France, April 2015
- Racordon D., Stachtiari E., Morard D., Buchs D. Functional Block Programming and Debugging. 6th Workshop on Line Programming (LIVE), Virtual, November 2020
- Racordon D., Buchs D. LogicKit: Bringing Logic Programming to Swift. Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming, March 2020
- Racordon D., Buchs D. Implementing a language with explicit assignment semantics. Proceedings of the 11th International Workshop on Virtual Machines and Intermediate Languages (VMIL), Athens, Greece, pages 12 — 21, October 2019
- Klikovits S., Linard A., Racordon D., Buchs D. Petri Sport: A Sport for Petri Netters. Proceedings of the 12th International Workshop on Petri Nets and Software Engineering (PNSE), Bratislava, Slovakia, pages 35 — 56, July 2018
- Racordon D., Buchs D. Extracting Formal Specifications to Strengthen Type Behavior Testing. Student Forum of 13th European Dependable Computing Conference (EDCC), Geneva, Switzerland, September 2017
- Racordon D., Buchs D. Verifying Multi-Core Schedulability with Data Decision Diagrams. Proceedings of the 8th International Workshop on Software Engineering for Resilient Systems (SERENE), Gothenburg, Sweden, pages 45 — 61, September 2016
- Lawrence D., Racordon D., Colange M., Hostettler S., Linard A., López Bóbeda E., Marechal A., Risoldi M., Sedlmajer N., Buchs D. Introducing Formal Verification with LEGO. International Workshop Fun With Formal Methods, Vienna, Austria, July 2014
I’m from Geneva, Switzerland.
I’m a husband and father of one.
I speak French, English and 日本語.
I created my GitHub account during the peak of my interest in Japanese animation, thus my handle.
I have less time for this hobby now, but am still partial to the work of Shaft and Kyoto Animation.
I’m also known as Alvae by my friends from video games.
I’m a Starcraft 2 player.
I play Zerg, the broken race.