Joshua Lockerman

Toward compositional verification of interruptible OS kernels and device drivers

Hao Chen, Xiongnan Wu, Zhong Shao et al. · 2016 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +15

The fuzzylog: a partially ordered shared log

Joshua Lockerman, Jose M. Faleiro, Juno Kim et al. · Operating Systems Design and Implementation · 2018 · 15 citations

Computing, Computer Science, Computer Systems +14

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

Hao Chen, Xiongnan Wu, Zhong Shao et al. · Journal of Automated Reasoning · 2017 · 13 citations

Computing, Computer Engineering, Computer Science +15

Harvesting Randomness to Optimize Distributed Systems

Mathias Lécuyer, Joshua Lockerman, Lamont Nelson et al. · 2017 · 12 citations

Computing, Cloud Computing, Computer Science +15