Blog · corpus.blog/blogs/muratbuffalo.blogspot.com/posts
Murat Demirbas
muratbuffalo.blogspot.com
2020
1 Feb 2020
1 Feb 2020
13 Jan 2020
13 Jan 2020
2019
21 Dec 2019
21 Dec 2019
11 Dec 2019
11 Dec 2019
9 Dec 2019
9 Dec 2019
7 Dec 2019
7 Dec 2019
Paper review. Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensusoriginal ↗
28 Nov 2019
Paper review. Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensusoriginal ↗
28 Nov 2019
SOSP19 File Systems Unfit as Distributed Storage Backends: Lessons from 10 Years of Ceph Evolutionoriginal ↗
27 Nov 2019
SOSP19 File Systems Unfit as Distributed Storage Backends: Lessons from 10 Years of Ceph Evolutionoriginal ↗
27 Nov 2019
23 Nov 2019
23 Nov 2019
21 Nov 2019
21 Nov 2019
SOSP19. I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocolsoriginal ↗
16 Nov 2019
SOSP19. I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocolsoriginal ↗
16 Nov 2019
SOSP19 Day 2, Scaling Symbolic Evaluation for Automated Verification of Systems Code with Servaloriginal ↗
9 Nov 2019
SOSP19 Day 2, Scaling Symbolic Evaluation for Automated Verification of Systems Code with Servaloriginal ↗
9 Nov 2019
7 Nov 2019
7 Nov 2019
31 Oct 2019
31 Oct 2019
8 Oct 2019
8 Oct 2019
Paper review: Comprehensive and efficient runtime checking in system software through watchdogsoriginal ↗
6 Oct 2019
Paper review: Comprehensive and efficient runtime checking in system software through watchdogsoriginal ↗
6 Oct 2019
2 Oct 2019
2 Oct 2019
26 Sept 2019
26 Sept 2019
24 Sept 2019
24 Sept 2019
22 Sept 2019
22 Sept 2019
19 Sept 2019
19 Sept 2019
Modeling a read-write version of Texel: an asynchronous consensus algorithm without roundsoriginal ↗
18 Sept 2019
Modeling a read-write version of Texel: an asynchronous consensus algorithm without roundsoriginal ↗
18 Sept 2019
16 Sept 2019
16 Sept 2019