BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//project/author//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTEND:20191219T120000Z
UID:d1586b5f05c4f047a2dda3c6f697614f-18
DTSTAMP:19700101T120011Z
DESCRIPTION:Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
URL;VALUE=URI:https://www.csa.iisc.ac.in/newweb/event/18/discoveri-component-based-parameterized-reasoning-for-distributed-applications/
SUMMARY:This talk begins with an overview of recent and ongoing work in Purdue’s Formal Methods (PurForM) research group. Next, the talk presents our Discover[i] project which seeks to automate reasoning about new classes of distributed applications built on top of verified components.  The current focus of this project is on parameterized verification and synthesis of systems that use consensus protocols, such as Paxos, as a building block to provide higher-level functionality. The talk explains the key ingredients of our framework: (1) an abstraction of consensus with a simple atomic primitive, (2) a decidability result and algorithm for parameterized verification of safety properties of systems with such consensus primitives, and (3) an algorithm for parameterized synthesis of coordination for such systems. 

Discover[i] is joint work with Nouraldin Jaber, Christopher Wagner, Swen Schewe and Milind Kulkarni.
DTSTART:20191219T120000Z
END:VEVENT
END:VCALENDAR