English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This technical report contains material accompanying our work with same titlepublished at ASPLOS'21. We start in Sec. 1 with a detailed presentation of thecore innovation of this work, Await Model Checking (AMC). The correctnessproofs of AMC can be found in Sec. 2. Next, we discuss three study cases inSec. 3, presenting bugs found and challenges encountered when applying VSync toexisting code bases. Finally, in Sec. 4 we describe the setup details of ourevaluation and report further experimental results.

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)