Search - Archive ouverte HAL Access content directly

Filter your results

5 Results

Faites-vous confiance à votre thermostat ?

Lélio Brun
Interstices, 2022
Journal articles hal-03750359v1
Image document

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

Timothy Bourke , Lélio Brun , Marc Pouzet
Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩
Journal articles hal-02426573v1
Image document

Towards a verified Lustre compiler with modular reset

Timothy Bourke , Lélio Brun , Marc Pouzet
21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩
Conference papers hal-01817949v1
Image document

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

Lélio Brun , Christophe Garion , Pierre-Loïc Garoche , Xavier Thirioux
ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩
Journal articles hal-04201875v1
Image document

A Formally Verified Compiler for Lustre

Timothy Bourke , Lélio Brun , Pierre-Evariste Dagand , Xavier Leroy , Marc Pouzet , et al.
PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
Conference papers hal-01512286v1