We are very excited to join forces with OctoML.ai! Contact Grigori Fursin for more details!

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models

lib:1a9808bb13440b8f (v1.0.0)


Authors: Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis
Where published: ASPLOS'21
Document: 
Results reproduced:
Unified artifact appendix and reproducibility checklist: Link

Relevant initiatives  

Reproduced results (crowd-benchmarking and competitions) Artifact and reproducibility checklists Common formats for research projects and shared artifacts Reproducibility initiatives

Comments  

Please log in to add your comments!
If you notice any inapropriate content that should not be here, please report us as soon as possible and we will try to remove it within 48 hours!