Login
Talks & Seminars
Title: Static Analysis and Automated Verification for Replicated Systems
Dr. Kartik Nagar, Purdue University
Date & Time: April 9, 2019 10:30
Venue: Dept. of CSE, Room No. 109, 01st Floor, New CSE/CC Bldg.
Abstract:
Replicated systems provide a number of desirable properties such as scalability, always-on availability, fault tolerance and low latency in a geo-distributed setting. However, writing correct applications for such systems is inherently hard due to their non-sequential nature and unbounded concurrency. To make such systems easier to program, a number of so-called weakly consistent replicated data stores have emerged in the last few years, providing a tradeoff between consistency and performance. It is still a monumental task for programmers to find the weakest consistency level under which their applications can run correctly. In this talk, I will present some of my recent work which addresses this problem by proposing static analysis techniques to reason about the correctness of programs in replicated systems. Notably, the proposed techniques are parametric in the weak consistency model, and hence given an application and a specification of the replicated store, they can automatically find either a correctness bug if it exists, or verify that the application will run correctly. Different techniques are proposed targeting different correctness criteria used by programmers, such as preservation of state-based invariants, serializability for database applications and convergence for high-level data types.
Speaker Profile:
Kartik Nagar is a postdoctoral research associate at Purdue University working with Prof. Suresh Jagannathan His research interests are in Program Analysis and Automated Verification. He completed his PhD from Indian Institute of Science under the guidance of Prof. Y N Srikant, and his PhD thesis was on static timing analysis of programs for Real-time systems.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback