Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage. - Haosen Wen; Wentao Cai 002; Mingzhe Du; Benjamin Valpey; Michael L. Scott (DISC, 2020)

Montage: A General System for Buffered Durably Linearizable Data Structures. - Haosen Wen; Wentao Cai 002; Mingzhe Du; Louis Jenkins; Benjamin Valpey; Michael L. Scott (CoRR, 2020)

A Fast, General System for Buffered Persistent Data Structures. - Haosen Wen; Wentao Cai 002; Mingzhe Du; Louis Jenkins; Benjamin Valpey; Michael L. Scott (ICPP, 2021)

An SMT Formalization of Mixed-Precision Matrix Multiplication - Modeling Three Generations of Tensor Cores. - Benjamin Valpey; Xinyi Li; Sreepathi Pai; Ganesh Gopalakrishnan (NFM, 2025)