Dimitri Racordon
Postdoctoral Research Associate
Labs and Groups
Research Interests
- Programming languages
- Compiler construction
- Type systems
- Memory safety
- Formal methods
Education
- PhD in Computer Science, University of Geneva — Switzerland
- MS in Computer Science, University of Geneva — Switzerland
- BS in Computer Systems Science, HEPIA — Switzerland
Pronouns
they/them/theirs
Biography
Dimitri Racordon is a postdoctoral research associate at the Khoury College of Computer Sciences at Northeastern University, advised by Jan Vitek. Their research focuses on algorithms & theory, formal methods, programming languages and software engineering. Racordon is also affiliated with the Programming Research Laboratory at Northeastern.
Before joining Northeastern in 2021, they were a postdoctoral research fellow at the University of Geneva in Switzerland. Outside of academic research, Racordon’s interests include Nintendo games, running and cycling.
Recent Publications
-
From ASTs to Machine Code with LLVM
Citation: Dimitri Racordon: From ASTs to Machine Code with LLVM. Programming 2021: 68-76 -
Featherweight Swift: a Core calculus for Swift’s type system
Citation: Dimitri Racordon, Didier Buchs: Featherweight Swift: a Core calculus for Swift's type system. SLE 2020: 140-154 -
Solving Schedulability as a Search Space Problem with Decision Diagrams
Citation: Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs: Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE 2020: 73-87