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-15-pdfs, title = {{A Work-Efficient Algorithm for Parallel Unordered Depth-First Search}}, author = {Umut A. Acar and Arthur Chargu{\'e}raud and Mike Rainey}, booktitle = {Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis}, series = {SC '15}, year = {2015}, month = nov, isbn = {978-1-4503-3723-6}, location = {Austin, Texas}, pages = {67:1--67:12}, articleno = {67}, numpages = {12}, publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/2807591.2807651}, }