F. Loulergue

From MaRDI portal
Person:1566917

Available identifiers

zbMath Open loulergue.fredericWikidataQ102279914 ScholiaQ102279914MaRDI QIDQ1566917

List of research outcomes





PublicationDate of PublicationType
Verified scalable parallel computing with Why32024-06-05Paper
Verified runtime assertion checking for memory properties2022-11-09Paper
A formal semantics of nested atomic sections with thread escape2018-05-15Paper
Automated Generation of BSP Automata2017-12-15Paper
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction2014-09-08Paper
Program calculation in Coq2011-01-21Paper
Computational Science - ICCS 20042005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q48172902004-09-22Paper
https://portal.mardi4nfdi.de/entity/Q44347082003-11-26Paper
https://portal.mardi4nfdi.de/entity/Q45369862002-11-06Paper
Concrete data structures and functional parallel programming2001-08-20Paper
A calculus of functional BSP programs2000-06-04Paper

Research outcomes over time

This page was built for person: F. Loulergue

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1566917&oldid=10474835"
Powered by MediaWiki