[Colloquium] Reminder: Lukman/MS Presentation/Dec 5, 2017

[Margaret Jaffey via Colloquium]

This is a reminder about Jeffrey's MS Presentation tomorrow.

------------------------------------------------------------------------------
Date:  Tuesday, December 5, 2017

Time:  1:00 PM

Place:  Ryerson 276

M.S. Candidate:  Jeffrey Lukman

M.S. Paper Title: DeepMC: Deep Exploration of Distributed Concurrency
Bugs with a Highly Scalable Model Checker

Abstract:
Reliability and availability are essential for cloud services to
succeed. Unfortunetaly, building flawless cloud systems is hard due to
latent distributed concurrency (DC) bugs. Distributed System Model
Checking (dmck) helps developers to systematically and quickly expose
DC bugs by testing the implementation code. However, one challenge
exists for dmck: path explosion challenge. The state-of-the-art dmcks
such as MoDist, dBug, CrystallBall, and SAMC handle this challenge by
implementing reduction algorithms. Although these dmcks have shown
some early successes, we found that these dmcks are not scalable
enough to handle deep DC bug scenarios. We present DeepMC, an
automated, fast and scalable dmck that focuses on finding deep DC
bugs. DeepMC implements four new path reduction algorithms that are
generic and backed up by static analysis: state symmetry,
disjoint-updates independence, parallel flips and no zero-crash-impact
reordering. As a result, DeepMC outperforms existing dmcks reduction
algorithms by one to two orders of magnitude. DeepMC is integrated
with 5 real-world systems (a mix of open-sourced, production, and
proprietary systems) and overall has successfully reproduced 9 bugs
and found 7 new bugs.

Jeffrey's advisor is Prof. Haryadi Gunawi

Login to the Computer Science Department website for details:
 https://www.cs.uchicago.edu/phd/ms_announcements#lukman

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Margaret P. Jaffey            margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 156)               (773) 702-6011
The University of Chicago      http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=