Dimitri Racordon

According to our database, Dimitri Racordon authored at least 18 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Implementation Strategies for Mutable Value Semantics.

Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta

J. Object Technol., 2022

Toward a Lingua Franca for Memory Safety.

Dimitri Racordon, Aurélien Coet, Didier Buchs

J. Object Technol., 2022

2021

Native Implementation of Mutable Value Semantics.

Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta

CoRR, 2021

Fuel: A Compiler Framework for Safe Memory Management.

Dimitri Racordon, Aurélien Coet, Didier Buchs

CoRR, 2021

From ASTs to Machine Code with LLVM.

Dimitri Racordon

Proceedings of the Programming '21: 5th International Conference on the Art, 2021

2020

Solving Schedulability as a Search Space Problem with Decision Diagrams.

Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Featherweight Swift: a Core calculus for Swift's type system.

Dimitri Racordon, Didier Buchs

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

LogicKit: bringing logic programming to swift.

Dimitri Racordon, Didier Buchs

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

2019

Explicit and Controllable Assignment Semantics.

Dimitri Racordon, Didier Buchs

CoRR, 2019

Implementing a language with explicit assignment semantics.

Dimitri Racordon, Didier Buchs

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

2018

Coroutines with Higher Order Functions.

Dimitri Racordon

CoRR, 2018

A practical type system for safe aliasing.

Dimitri Racordon, Didier Buchs

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Petri Sport: A Sport for Petri Netters.

Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.

Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Extracting Formal Specifications to Strenghten Type Behaviour Testing.

Dimitri Racordon, Didier Buchs

CoRR, 2017

2016

Verifying Multi-core Schedulability with Data Decision Diagrams.

Dimitri Racordon, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

2015

Computing Bounds for Counter Automata.

Maximilien Colange, Dimitri Racordon, Didier Buchs

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A CEGAR-like Approach for Cost LTL Bounds.

Maximilien Colange, Dimitri Racordon, Didier Buchs

CoRR, 2015