Lélio Brun

According to our database, Lélio Brun authored at least 6 papers between 2017 and 2023.

Collaborative distances:

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

2023

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

Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux

ACM Trans. Embed. Comput. Syst., October, 2023

Automated Security Analysis for Real-World IoT Devices.

Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

2020

Mechanized semantics and verified compilation for a dataflow synchronous language with reset. (Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation).

Lélio Brun

PhD thesis, 2020

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

Timothy Bourke, Lélio Brun, Marc Pouzet

Proc. ACM Program. Lang., 2020

2018

Towards a verified Lustre compiler with modular reset.

Timothy Bourke, Lélio Brun, Marc Pouzet

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

2017

A formally verified compiler for Lustre.

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017