research
∙
07/24/2023
Lattice Linearity in Assembling Myopic Robots on an Infinite Triangular Grid
In this paper, we study the problem of gathering distance-1 myopic robot...
share
research
∙
02/28/2023
DAG-Inducing Problems and Algorithms
In this paper, we show that in a parallel processing system, if a direct...
research
∙
02/14/2023
Multiplication and Modulo are Lattice Linear
In this paper, we analyze lattice linearity of multiplication and modulo...
research
∙
01/27/2023
Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election
Consensus and leader election are fundamental problems in distributed sy...
research
∙
10/06/2022
Lattice Linear Problems vs Algorithms
Modelling problems using predicates that induce a partial order among gl...
research
∙
09/29/2022
Fully Lattice Linear Algorithms
This paper focuses on analyzing and differentiating between lattice line...
research
∙
03/01/2022
Effect of Timing Error: A Case Study of Navigation Camera
We focus on the problem of timing errors in navigation camera as a case ...
research
∙
09/27/2021
Extending Lattice linearity for Self-Stabilizing Algorithms
In this article, we focus on extending the notion of lattice linearity t...
research
∙
08/21/2021
Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs
Consistency violation faults s refer to faults that occur due to inconsi...
research
∙
04/30/2021
Achieving Causality with Physical Clocks
Physical clocks provide more precision than applications can use. For ex...
research
∙
07/26/2020
Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores
In this paper, we evaluate and compare the performance of two approaches...
research
∙
10/18/2019
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores
In this paper, we evaluate and compare the performance of two approaches...
research
∙
09/04/2019
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores
Consistency properties provided by most key-value stores can be classifi...
research
∙
08/16/2018
Session Guarantees with Raft and Hybrid Logical Clocks
Eventual consistency is a popular consistency model for geo-replicated d...
research
∙
08/02/2018