SeminarsView all Seminars | Download ICal for this event
Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
Series: Department Seminar
Speaker: Roopsha Samanta
Date/Time: Dec 19 11:30:00
Location: CSA Seminar Hall (Room No. 254, First Floor)
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.
Roopsha Samanta is an Assistant Professor in the Department of Computer Science at Purdue University. Her research mission is to make it easier for people to build provably reliable programs. To this end, her research focuses on developing algorithms and tools for automated program verification, repair and synthesis, and targets diverse application domains such as concurrent and distributed systems, personalized education, machine learning and cryptography. Roopsha completed her Ph.D. at The University of Texas at Austin in 2013 and was a postdoctoral researcher at the Institute of Science and Technology Austria (IST Austria) from 2014-2016. She is a recipient of an NSF CAREER award.
Host Faculty: Deepak D'Souza