Lilith Oberhauser

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

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

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

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

Experiments Suggest That Simulations May Overestimate Electrostatic Contributions to the Mechanical Stability of a Fibronectin Type Iii Domain Journal of Molecular Biology References

Sean P. Ng, Lilith Oberhauser, J. Hidden, 2022 .

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

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