Jonas Oberhauser | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Haibo Chen
25 publications
Ori Lahav
9 publications
Antonio Paolillo
9 publications
Viktor Vafeiadis
8 publications
Anton Podkopaev
4 publications
Koustubha Bhat
3 publications
Jaeho Kim
3 publications
Ming Fu
2 publications
Diogo Behrens
2 publications
Lilith Oberhauser
1 publication
Yuzhong Wen
1 publication

research

∙ 02/12/2021

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

This technical report contains material accompanying our work with same ...

0 Jonas Oberhauser, et al. ∙

research

∙ 12/02/2020

Making Weak Memory Models Fair

We observe that the standard notion of thread fairness is insufficient f...

0 Ori Lahav, et al. ∙

Success!

An error occurred