Joshua Lockerman

According to our database, Joshua Lockerman authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

The FuzzyLog: A Partially Ordered Shared Log.

Joshua Lockerman, Jose M. Faleiro, Juno Kim, Soham Sankaran, Daniel J. Abadi, James Aspnes, Siddhartha Sen, Mahesh Balakrishnan

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Harvesting Randomness to Optimize Distributed Systems.

Mathias Lécuyer, Joshua Lockerman, Lamont Nelson, Siddhartha Sen, Amit Sharma, Aleksandrs Slivkins

Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Palo Alto, CA, USA, 2017

2016

Toward compositional verification of interruptible OS kernels and device drivers.

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016