![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dimitri Racordon
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j3]Dimitri Racordon, Aurélien Coet, Didier Buchs:
Toward a Lingua Franca for Memory Safety. J. Object Technol. 21(2): 2:1-11 (2022) - [j2]Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta:
Implementation Strategies for Mutable Value Semantics. J. Object Technol. 21(2): 2:1-11 (2022) - 2021
- [c9]Dimitri Racordon:
From ASTs to Machine Code with LLVM. Programming 2021: 68-76 - [i6]Dimitri Racordon, Aurélien Coet, Didier Buchs:
Fuel: A Compiler Framework for Safe Memory Management. CoRR abs/2106.12434 (2021) - [i5]Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta:
Native Implementation of Mutable Value Semantics. CoRR abs/2106.12678 (2021) - 2020
- [c8]Dimitri Racordon, Didier Buchs:
LogicKit: bringing logic programming to swift. Programming 2020: 13-16 - [c7]Dimitri Racordon, Didier Buchs:
Featherweight Swift: a Core calculus for Swift's type system. SLE 2020: 140-154 - [c6]Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs:
Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE 2020: 73-87
2010 – 2019
- 2019
- [c5]Dimitri Racordon, Didier Buchs:
Implementing a language with explicit assignment semantics. VMIL@SPLASH 2019: 12-21 - [i4]Dimitri Racordon, Didier Buchs:
Explicit and Controllable Assignment Semantics. CoRR abs/1907.11317 (2019) - 2018
- [c4]Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs:
Petri Sport: A Sport for Petri Netters. PNSE@Petri Nets/ACSD 2018: 35-56 - [c3]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: 385-395 - [c2]Dimitri Racordon, Didier Buchs:
A practical type system for safe aliasing. SLE 2018: 133-146 - [i3]Dimitri Racordon:
Coroutines with Higher Order Functions. CoRR abs/1812.08278 (2018) - 2017
- [i2]Dimitri Racordon, Didier Buchs:
Extracting Formal Specifications to Strenghten Type Behaviour Testing. CoRR abs/1708.05194 (2017) - 2016
- [c1]Dimitri Racordon, Didier Buchs:
Verifying Multi-core Schedulability with Data Decision Diagrams. SERENE 2016: 45-61 - 2015
- [j1]Maximilien Colange, Dimitri Racordon, Didier Buchs:
Computing Bounds for Counter Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [i1]Maximilien Colange, Dimitri Racordon, Didier Buchs:
A CEGAR-like Approach for Cost LTL Bounds. CoRR abs/1506.05728 (2015)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint