Travelled to:
1 × South Korea
1 × Spain
Collaborated with:
F.Dabrowski F.Loulergue
Talks about:
section (2) thread (2) escap (2) nest (2) atom (2) definit (1) formal (1) compil (1)
Person: Thomas Pinsard
DBLP: Pinsard:Thomas
Contributed to:
Wrote 2 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.