A Modular Proof of Correctness for a Network Synchronizer by Fekete, A., Lynch, N., Shrira, L.

Get full text

Opportunities for optimism in contended main-memory multicore transactions by Huang, Y, Qian, W, Kohler, E, Liskov, B, Shrira, L

Get full text

Opportunities for optimism in contended main-memory multicore transactions by Huang, Y, Qian, W, Kohler, E, Liskov, B, Shrira, L

Get full text

Replication in the Harp File System by Liskov, B., Ghemawat, S., Gruber, R., Johnson, P., Shrira, L., Williams, M.

Get full text