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
@InProceedings{acar-chargueraud-rainey-12-primitives, author = "Umut A. Acar and Arthur Chargu{\'e}raud and Mike Rainey", title = "Efficient Primitives for Creating and Scheduling Parallel Computations", year = "2012", month = "January", booktitle = "Declarative Aspects and Applications of Multicore Programming (DAMP)", }