Jonas Oberhauser

BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling

Hermann Härtig, Haibo Chen, Diogo Behrens, 2022, USENIX Annual Technical Conference.

Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment

Jonas Oberhauser, Jonas Oberhauser, 2018, VSTTE.

VSync: push-button verification and optimization for synchronization primitives on weak memory models

Viktor Vafeiadis, Ming Fu, Koustubha Bhat, 2021, ASPLOS.

Justifying the strong memory semantics of concurrent high-level programming languages for system programming

Jonas Oberhauser, Jonas Oberhauser, 2017 .

A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof

Jonas Oberhauser, Petro Lutsyk, Wolfgang J. Paul, 2020, Lecture Notes in Computer Science.

Making weak memory models fair

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis, 2020, Proc. ACM Program. Lang..

VSync: push-button verification and optimization for synchronization primitives on weak memory models

Rafael Lourenco de Lima Chehab, Haibo Chen, Viktor Vafeiadis, 2021, ASPLOS.