Travelled to:1 × South Korea
1 × Spain
Collaborated with:F.Dabrowski T.Pinsard S.Robillard J.Tesson J.Legaux Z.Hu
Talks about:section (2) thread (2) formal (2) escap (2) nest (2) atom (2) parallel (1) smaller (1) program (1) problem (1)
Person: Frédéric Loulergue
DBLP: Loulergue:Fr=eacute=d=eacute=ric
Contributed to:
20152014Wrote 3 papers:
- SAC-2015-DabrowskiLP #compilation #concurrent #thread
- Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
- SAC-2014-DabrowskiLP #concurrent #thread
- Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.
- SAC-2014-LoulergueRTLH #parallel #problem
- Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.