Compiler expert, type system enthusiast, and language design lover
My name is Dimi Racordon. I am a postdoctoral research at EPFL, Switzerland, working with Martin Ordersky in the Programming Methods Laboratory (LAMP) 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 Hylo, 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.
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)
Dimi 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)
Dimi 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)
Dimi 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)
Dimi 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)
Dimi 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)
Dimi 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)
Dimi Racordon, Didier Buchs. In ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
I’m from Geneva, Switzerland. I’m married and parent of one. I speak French, English, and 日本語. I also speak Hylo, 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.