Jonas Oberhauser

According to our database, Jonas Oberhauser authored at least 9 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

Making weak memory models fair.

Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis

Proc. ACM Program. Lang., 2021

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

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

CoRR, 2021

Verifying and Optimizing the HMCS Lock for Arm Servers.

Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis

Proceedings of the Networked Systems - 9th International Conference, 2021

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

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

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2018

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

Jonas Oberhauser

PhD thesis, 2018

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

Jonas Oberhauser

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2016

Order Reduction for Multi-core Interruptible Operating Systems.

Jonas Oberhauser

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2015

A Simpler Reduction Theorem for x86-TSO.

Jonas Oberhauser

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015