Frédéric Loulergue
Professeur
Research Interests
Explore related searches
Contact this professor
About
Frédéric Loulergue is a Professor at Université d'Orléans in France. His research interests encompass formal verification, software stack security, and runtime assertion checking. He has contributed to several notable publications, including works on distributed software reconfiguration and improved execution models for advanced programming paradigms. Prof. Loulergue continues to explore innovative approaches in the field of computer science to enhance software reliability and efficiency.
Articles (6)
Sound Runtime Assertion Checking for Memory Properties via Program Transformation
Runtime Assertion Checking (RAC) for expressive specification languages is a non-trivial verification task that becomes even more complex for memory-related properties of imperative languages with dynamic memory allocation. It is important to ensure the soundness of RAC verdicts, in particular when RAC reports the absence of failures for execution traces. This article presents a formalization of a program transformation technique for RAC of memory properties for a representative language with pointers and memory operations, including dynamic allocation and deallocation. The generated program instrumentation relies on an axiomatized observation memory model, which is essential to record and monitor memory-related properties. We prove the soundness of RAC verdicts with regard to the semantics of this language.
Year:
2024
Collaborators (4)
Wolfgang Ahrendt
Professor
Chalmers University of Technology
Julien Signoles
Université Paris-Saclay
Simon Robillard
University of Montpellier
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg
How do I reach out?
Sign in for free to see their profile details and contact information.