.
 
最新消息
 
教师信息
 
课程简介
 
课件下载
 
食宿信息
 
交通信息
 
科大地图
 


课程大纲


(一) Lecture 1: (June 27 th ) Introduction

(1) An overview of software reliability and reliability research
(2) Background for multi-threaded software systems
(3) An overview of common software bugs

Reference:


(二) Lecture 2: (June 28 th ) Bug Detection & Fixing in Multi-Threaded Software

(1) Detecting Concurrency Bugs in Multi-Threaded Software
(2) Fixing Concurrency Bugs in Multi-Threaded Software

Reference:

  • Automated Concurrency-Bug Fixing”, Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu.
    Proceedings of 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2012.


(三) Lecture 3: (June 29 th ) Failure Handling in Multi-Threaded Software

(1) Preventing & Recovering Concurrency Bug Failures in Multi-Threaded Software
(2) Diagnosing Concurrency Bug Failures in Multi-Threaded Software

Reference:


(四) Lecture 4: (June 30 st ) Tackling Performance & Energy Bugs

(1).Understanding real-world performance bugs
(2). Detecting, diagnosing, and fixing performance bugs
(3). Understanding and handling energy bugs

Refernece:

(五) Lecture 5: (July 1st) Tackling Bugs in Distributed Systems

(1) Background about distributed systems
(2) Background about failure-tolerance in distributed systems
(3) Understanding bugs in distributed systems
(4) Detecting bugs in distributed systems

Reference:

  • What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems”, Haryadi S. Gunawi, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Thanh Do, Jeffry Adityama, Kurnia J. Eliazar, Agung Laksono, Jeffrey F. Lukman, Vincentius Martin, Anang D. Satria.

    Proceedings of the 5th ACM Symposium on Cloud Computing (SoCC), 2014