• Sign in
  • Sign up
conf.researchr.org / Frederic Loulergue
  • ASE 2023 profile
  • ECOOP and ISSTA 2023 profile
  • SPLASH 2018 profile
No Photo

Registered user since Mon 8 Jun 2020

Name:Frederic Loulergue
Country:France
Affiliation:Université d'Orléans
Personal website: https://frederic.loulergue.eu

Contributions

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
Share
xTue 13 May 22:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up