We stand with Ukraine  

Thomas Pinsard

According to our database1, Thomas Pinsard authored at least 5 papers between 2013 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
A formal semantics of nested atomic sections with thread escape.
[BibTeX]
[DOI]
Frédéric Dabrowski
,
Frédéric Loulergue
,
Thomas Pinsard
Comput. Lang. Syst. Struct., 2015

Nested atomic sections with thread escape: compilation.
[BibTeX]
[DOI]
Frédéric Dabrowski
,
Frédéric Loulergue
,
Thomas Pinsard
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation. (Nested atomic sections with thread escape : semantics and compilation).
[BibTeX]
[DOI]
Thomas Pinsard
PhD thesis, 2014

Nested atomic sections with thread escape: a formal definition.
[BibTeX]
[DOI]
Frédéric Dabrowski
,
Frédéric Loulergue
,
Thomas Pinsard
Proceedings of the Symposium on Applied Computing, 2014

2013
Nested Atomic Sections with Thread Escape: An Operational Semantics.
[BibTeX]
[DOI]
Frédéric Dabrowski
,
Frédéric Loulergue
,
Thomas Pinsard
Proceedings of the International Conference on Parallel and Distributed Computing, 2013


  Loading...