Frederic Loulergue -

Registered user since Mon 8 Jun 2020

Name:Frederic Loulergue

Country:France

Affiliation:Université d'Orléans

Personal website: https://frederic.loulergue.eu

Contributions

2026

CONFLANG

Author of Scopeannon: A Static Analyzer of Ansible’s Scope Ambiguities within the CONFLANG 2026-track

ESEM

Author of Tools for Detecting Security Issues in Infrastructure-as-Code: A Focused Literature Review within the ESEM - Emerging Results, Vision, and Reflection Papers Track-track

VARIABILITY

Author of mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language within the MODEVAR-track
Session Chair of Analysis, Reasoning and Configuration Spaces (part of Research Papers)

2023

ASE

Author of Collaborative Analysis and Verification of C Programs with Frama-C within the Tutorials-track

FTfJP

Author of Towards Verified Scalable Parallel Computing with Coq and Spark within the FTfJP 2023-track

2018

HILT

Author of Soundness of a Dataflow Analysis for Memory Monitoring within the HILT 2018-track