CSC 591/791: Reliable Software Systems

Spring 2016
M/W 1:30PM-2:45PM
EB1 2015

Basic Information

Instructor
Guoliang Jin

Read These

Moodle

Schedule

Monday Wednesday
01/04 01/06 Intro S
01/11 Meta-Compilation P1   P2   S 01/13 Optimization Safe P   S
01/18 Holiday 01/20 Valgrind Memcheck P
01/25 Pin P 01/27 Symbolic Execution P
02/01 Concolic Testing P1   P2 02/03 Delta Debugging P
02/08 Statistical Debugging P1   P2 02/10 Concurrency Bug P1   P2
02/15 Snow/Ice/No class 02/17 Proposal Presentation
02/22 Race Detection P1   P2 02/24 Race/Atomicity Guided Testing P1   P2
02/29 Deadlock P1   P2 03/02 Concurrency-Bug Fixing P1   P2
03/07 Spring 03/09 Break
03/14 Record & Replay P1   P2 03/16 Deterministic Multithreading P1   P2
03/21 Event-Driven Races P1   P2 03/23 Tracing Distributed Systems P1   P2
03/28 More Tracing P1   P2 03/30 Testing and Debugging Distributed Systems P1   P2
04/04 No Class, Work on Your Project 04/06 Instructor Attending ASPLOS
04/11 Using Distributed-System Logs P1   P2 04/13 Mutation Testing/Human Factors P1   P2
04/18 Performance Bugs P1   P2 04/20 Project Presentation
04/25 Project Presentation 04/27