Login / Signup
Yuzhong Wen
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 3
Top Topics
Global Optimization
Low Level
Technical Report
Software Defined Radio
Top Venues
CoRR
ICDCS
ASPLOS
</>
Publications
</>
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
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).
CoRR
(2021)
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
VSync: push-button verification and optimization for synchronization primitives on weak memory models.
ASPLOS
(2021)
Giuliano Losa
,
Antonio Barbalace
,
Yuzhong Wen
,
Ho-Ren Chuang
,
Binoy Ravindran
Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware.
ICDCS
(2017)