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

[Margaret Jaffey via Colloquium]

This is an announcement of Jeffrey Lukman's MS Presentation.

------------------------------------------------------------------------------
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:
DeepMC is an automated, fast and scalable implementation-level
software model checker for concurrency checking of distributed
systems. To tame the path explosion problem, DeepMC employs four new
path reduction algorithms: state symmetry, disjoint updates, parallel
flips, and no zero-crash-impact reordering. DeepMC outperforms other
reduction algorithms used in state-of-the-art model checkers by one to
two orders of magnitude. DeepMC is integrated to 5 real-world systems
(a mix of open-sourced, production, and proprietary systems).

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
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=