Security, Cloud Computing, Mobile Computing, Pervasive Computing, Reliability, Model Checking, Software Testing, Virtualization
Nov 2014 - Present; There have been various consistency models designed and studied by researchers. Some of them are adapted by the industry and there are several cloud services using them. The eventual and strong consistency models are the most famous ones that are being used in practice. However, there are various intermediate consistency models such as Monotonic Reads, Consistent Prefix, Bounded Staleness, Read My Writes, etc. Even compositions of them can be employed in some specific usage scenarios. Providing the ground truth for these consistency models can greatly help both system developers and application developers. We design and implement the prototype consistency oracle that can produce the answer containing all valid values to read with respect to the given arbitrary consistency model. This oracle can be integrated with model checkers as the invariant checker to find software bugs.Kim, B.