Frédéric Loulergue

Available identifiers

zbMath Open loulergue.fredericWikidataQ102279914 ScholiaQ102279914MaRDI QIDQ1566917

List of research outcomes

Publication	Date of Publication	Type
Verified Runtime Assertion Checking for Memory Properties	2022-11-09	Paper
A formal semantics of nested atomic sections with thread escape	2018-05-15	Paper
Automated Generation of BSP Automata	2017-12-15	Paper
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction	2014-09-08	Paper
Program Calculation in Coq	2011-01-21	Paper
Computational Science - ICCS 2004	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4817290	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4434708	2003-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4536986	2002-11-06	Paper
Concrete data structures and functional parallel programming	2001-08-20	Paper
A calculus of functional BSP programs	2000-06-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frédéric Loulergue