Dimitri Racordon

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 16

Top Topics

Decision Diagrams

Memory Management

Logic Programming

Top Venues

J. Object Technol.

Publications

Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta
Implementation Strategies for Mutable Value Semantics. J. Object Technol. 21 (2) (2022)
Dimitri Racordon, Aurélien Coet, Didier Buchs
Toward a Lingua Franca for Memory Safety. J. Object Technol. 21 (2) (2022)
Dimitri Racordon, Aurélien Coet, Didier Buchs
Fuel: A Compiler Framework for Safe Memory Management. CoRR (2021)
Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta
Native Implementation of Mutable Value Semantics. CoRR (2021)
Dimitri Racordon
From ASTs to Machine Code with LLVM. Programming (2021)
Dimitri Racordon, Didier Buchs
LogicKit: bringing logic programming to swift. Programming (2020)
Dimitri Racordon, Didier Buchs
Featherweight Swift: a Core calculus for Swift's type system. SLE (2020)
Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs
Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE (2020)
Dimitri Racordon, Didier Buchs
Explicit and Controllable Assignment Semantics. CoRR (2019)
Dimitri Racordon, Didier Buchs
Implementing a language with explicit assignment semantics. VMIL@SPLASH (2019)
Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Petri Nets (2018)
Dimitri Racordon, Didier Buchs
A practical type system for safe aliasing. SLE (2018)
Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs
Petri Sport: A Sport for Petri Netters. PNSE@Petri Nets/ACSD (2018)
Dimitri Racordon
Coroutines with Higher Order Functions. CoRR (2018)
Dimitri Racordon, Didier Buchs
Extracting Formal Specifications to Strenghten Type Behaviour Testing. CoRR (2017)
Dimitri Racordon, Didier Buchs
Verifying Multi-core Schedulability with Data Decision Diagrams. SERENE (2016)
Maximilien Colange, Dimitri Racordon, Didier Buchs
Computing Bounds for Counter Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Maximilien Colange, Dimitri Racordon, Didier Buchs
A CEGAR-like Approach for Cost LTL Bounds. CoRR (2015)