[Colloquium] Ke/MS Presentation/Jun 25, 2018

[Margaret Jaffey via Colloquium]

This is an announcement of Huan Ke's MS Presentation.

------------------------------------------------------------------------------
Date:  Monday, June 25, 2018

Time:  1:00 PM

Place:  Ryerson 255

M.S. Candidate:  Huan Ke

M.S. Paper Title: A Concurrent Perspective on Blockchain

Abstract:
With the widespread of blockchain technology, they are vulnerable to
bugs that often occur in traditional concurrent programs. We study 63
concurrency bugs from three blockchain based systems: Go-Ethereum,
Cpp-Ethereum, and Rust-Ethereum regarding to bugs triggering,
symptoms, fix and violated specifications. It systematically checks
the concurrency vulnerabilities of Blockchain systems and categorize
the concurrency specifications, which acts (1) as a reference for
developers to know and avoid pitfalls during implementing blockchain
protocol and (2) as a guide for researchers to foster the development
of analysis and verification for blockchain systems.

Huan's advisor is Prof. Haryadi Gunawi

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

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