Concurrent Balanced Augmented Trees. - Evan Wrench; Ajay Singh 002; Younghun Roh; Panagiota Fatourou; Siddhartha Jayanti; Eric Ruppert; Yuanhao Wei (PPoPP, 2026)

Trace Validation of Unmodified Concurrent Systems with OmniLink. - Finn Hackett; Evan Wrench; Peter Macko; A. Jesse Jiryu Davis; Yuanhao Wei; Ivan Beschastnikh (CoRR, 2026)