Dimitri Racordon

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