[Colloquium] Reminder: Chen/MS Presentation/Sep 29, 2016

[Margaret Jaffey via Colloquium]

This is a reminder about Yuxi Chen's MS Presentation tomorrow.

------------------------------------------------------------------------------
Date:  Thursday, September 29, 2016

Time:  1:30 PM

Place:  Ryerson 276

M.S. Candidate:  Yuxi Chen

M.S. Paper Title: Transactional Memory Support for Concurrency-Bug
Failure Recovery in Production Runs

Abstract:
Concurrency bugs severely threaten software reliability in production
runs. They are difficult to expose and eliminate during in-house
testing, lead to severe production run failures, and are
time-consuming to diagnose and fix correctly. Techniques that help
recover software from concurrency-bug failures during production runs
are highly desired. This paper proposes using transactional memory
techniques to help production-run concurrency-bug recovery. BugTM uses
existing hardware transactional memory support (Intel TSX). It can
recover from failures caused by all major types of concurrency bugs,
with about 4% overhead on average in our thorough evaluation. For
systems that lack hardware transaction support, we develop a software
transactional memory system called BugTMs by targeting TM principles
for concurrency-bug failure recovery. It has slightly worse recovery
capability than BugTM, but out-performs the state-of-art techniques in
overhead, coverage, and diagnosis capability.

Yuxi's advisor is Prof. Shan Lu

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

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