Joshua Lockerman

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 4

Top Topics

Gaussian Kernels

Face Verification

Top Venues

J. Autom. Reason.

Publications

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. J. Autom. Reason. 61 (1-4) (2018)
Joshua Lockerman, Jose M. Faleiro, Juno Kim, Soham Sankaran, Daniel J. Abadi, James Aspnes, Siddhartha Sen, Mahesh Balakrishnan
The FuzzyLog: A Partially Ordered Shared Log. OSDI (2018)
Mathias Lécuyer, Joshua Lockerman, Lamont Nelson, Siddhartha Sen, Amit Sharma, Aleksandrs Slivkins
Harvesting Randomness to Optimize Distributed Systems. HotNets (2017)
Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu
Toward compositional verification of interruptible OS kernels and device drivers. PLDI (2016)