Jonas Oberhauser

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 8

Top Venues

VSTTE

CoRR

Proc. ACM Program. Lang.

USENIX Annual Technical Conference

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX Annual Technical Conference (2022)
Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis
Verifying and Optimizing the HMCS Lock for Arm Servers. NETYS (2021)
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Making weak memory models fair. Proc. ACM Program. Lang. 5 (OOPSLA) (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 (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)
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Making Weak Memory Models Fair. CoRR (2020)
Jonas Oberhauser
Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment. VSTTE (2018)
Jonas Oberhauser
Order Reduction for Multi-core Interruptible Operating Systems. VSTTE (2016)
Jonas Oberhauser
A Simpler Reduction Theorem for x86-TSO. VSTTE (2015)

Jonas Oberhauser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jonas Oberhauser