Random Testing for Distributed Systems

Rupak Majumdar (Max Planck Institute for Software Systems).

Course Summary | About the lecturer | Location and schedule

Registration form:

Register here

Course summary:

I will give an overview of techniques for random testing of concurrent and distributed systems, focusing on algorithmic analysis techniques.

Lecture 1: Introduction to random testing, coverage, and a simple analysis of testing algorithms

Lecture 2: Probabilistic Concurrency Testing: An algorithm for random testing of concurrent systems

Lecture 3: The cost of sampling and the effectiveness of random local search

About the lecturer:

Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems in Germany. His research interests are in the verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory. Dr. Majumdar received the President's Gold Medal from IIT Kanpur, the Leon O. Chua award from UC Berkeley, an NSF CAREER award, a Sloan Foundation Fellowship, an ERC Synergy award, a Distinguished Alumnus Award from IIT Kanpur, "Most Influential Paper" awards from PLDI, POPL, and CONCUR, and several best paper awards. He received the B.Tech. degree in Computer Science from the Indian Institute of Technology at Kanpur and the Ph.D. degree in Computer Science from the University of California at Berkeley.

Materials: Notes and homework

Location and schedule:
Wednesday, May 24th in 2180
16:15 - 17:45 lecture
Thursday, May 25th in 2180
14:15 - 15:45 lecture
16:15 - 17:15 class
Friday, May 26th in 2180
14:15 - 15:45 lecture
16:15 - 17:15 class