Dimitri Racordon
École Polytechnique Fédérale de Lausanne(CH)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Security and Verification in Computing
Most-Cited Works
- → TREXMO: A Translation Tool to Support the Use of Regulatory Occupational Exposure Models(2016)26 cited
- → A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning(2018)6 cited
- → Implementation Strategies for Mutable Value Semantics.(2022)5 cited
- → Featherweight Swift: a Core calculus for Swift’s type system(2020)5 cited
- → Verifying Multi-core Schedulability with Data Decision Diagrams(2016)3 cited
- → Implementing a language with explicit assignment semantics(2019)2 cited
- → LogicKit: bringing logic programming to swift(2020)2 cited
- → On the State of Coherence in the Land of Type Classes(2025)1 cited
- → Revisiting memory assignment semantics in imperative programming languages(2019)1 cited
- → A CEGAR-like Approach for Cost LTL Bounds(2015)1 cited