A Simpler Reduction Theorem for x86-TSO. - Jonas Oberhauser (VSTTE, 2015)

Order Reduction for Multi-core Interruptible Operating Systems. - Jonas Oberhauser (VSTTE, 2016)

Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment. - Jonas Oberhauser (VSTTE, 2018)

Justifying the strong memory semantics of concurrent high-level programming languages for system programming. - Jonas Oberhauser (2018)

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 001; Jaeho Kim; Viktor Vafeiadis (ASPLOS, 2021)

Verifying and Optimizing the HMCS Lock for Arm Servers. - Jonas Oberhauser; Lilith Oberhauser; Antonio Paolillo; Diogo Behrens; Ming Fu; Viktor Vafeiadis (NETYS, 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 001; Jaeho Kim; Viktor Vafeiadis (CoRR, 2021)

Making weak memory models fair. - Ori Lahav 001; Egor Namakonov; Jonas Oberhauser; Anton Podkopaev; Viktor Vafeiadis (Proc. ACM Program. Lang., 2021)

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 001 (USENIX ATC, 2022)

The Probability Spaces of QuickSort. - George Nadareishvili; Jonas Oberhauser; Wolfgang J. Paul (CoRR, 2025)