Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@techreport{acar-al-13-syncfreews, title = {{Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing}}, author = {Umut A. Acar and Arthur Chargu{\'e}raud and Stefan Muller and Mike Rainey}, url = {https://hal.inria.fr/hal-00910130}, type = {Research Report}, year = {2013}, month = Sep, }