Harvesting Randomness to Optimize Distributed Systems. - Mathias Lécuyer; Joshua Lockerman; Lamont Nelson; Siddhartha Sen 001; Amit Sharma 007; Aleksandrs Slivkins (HotNets, 2017)

The FuzzyLog: A Partially Ordered Shared Log. - Joshua Lockerman; Jose M. Faleiro; Juno Kim; Soham Sankaran; Daniel J. Abadi; James Aspnes; Siddhartha Sen 001; Mahesh Balakrishnan 001 (OSDI, 2018)

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. - Hao Chen 023; Xiongnan (Newman) Wu; Zhong Shao 001; Joshua Lockerman; Ronghui Gu (J. Autom. Reason., 2018)