Hello, World!

My name is Dimi Racordon. I am a postdoctoral research at Northeastern University, USA, working with Jan Vitek in the Programming Research Laboratory (PRL) research group.

My research advances methods and techniques that empower developers to write expressive, efficient, and reliable software. I gravitate toward model checking, formal verification, and programming language design, with a particular focus on advanced type systems. I compiled more information about my work and vision in a research statement.

I’m currently working in collaboration with Adobe’s STLab on the design of a new programming language, called Val, to explore the concepts of mutable value semantics and generic programming for high-level systems programming. 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

Most of my publications are in international conferences on programming languages or model checking and their associated workshop. You’ll find a selection of my recent papers below. More complete lists can be found on in my CV or my DBLP profile.

Implementation Strategies for Mutable Value Semantics (doi, pdf)

Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta. In Journal of Object Technology (JoT) 21(2):1-11, 2022
Toward a Lingua Franca for Memory Safety (doi, pdf)

Dimitri Racordon, Aurélien Coet, Didier Buchs. In Journal of Object Technology (JoT) 21(2):1-11, 2022
Featherweight Swift: A Core Calculus for Swift’s Type System (doi, pdf)

Dimitri Racordon, Didier Buchs. In ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020)
Solving Schedulability as a Search Space Problem with Decision Diagrams (doi, pdf)

Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs. In International Symposium on Search-Based Software Engineering (SSBSE 2020)
LogicKit: Bringing Logic Programming to Swift (doi, pdf)

Dimitri Racordon, Didier Buchs. In Companion Proceedings of the International Conference on the Art, Science, and Engineering of Programming (Programming 2020)
Implementing a language with explicit assignment semantics (doi, pdf)

Dimitri Racordon, Didier Buchs. In International Workshop on Virtual Machines and Intermediate Languages (VMIL 2019), co-located with SPLASH
A practical Type System for Safe Aliasing (doi, pdf)

Dimitri Racordon, Didier Buchs. In ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)

About myself

I’m from Geneva, Switzerland. I’m married and parent of one. I speak French, English, and 日本語. I also speak Swift, C/C++, Python and Javascript, almost as fluently.

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.