Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yuzhong Wen
Map detail
Yuzhong Wen2 visible / 2 total nodes / 1 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipYuzhong WenAYuzhong WenResearcherVSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)WVSync: Push-Button Veri...preprint / 2021
Person1 links

Yuzhong Wen

Researcher