schedule_2009fall

Tentative Schedule

Week 1 (8/24)
- IntroductionSlides
- Program RepresentationsSlides
- Tracing and Profiling
  - Reading:Efficient Path Profiling
Week 2 (8/31)
- Slicing (static, dynamic, and relevant slicing)
  - Reading:The program dependence graph and its use in optimization
  - Reading:Precise dynamic slicing algorithms
  - Reading:An efficient relevant slicing method for debugging
Week 3 (9/7, labor day,project 1 is assigned)
- Testing
  - Introduction and topics in testing
  - Combinatorial test generation
    - Reading:Model-Based Testing in Practice
  - Dynamic test generation
    - Reading:DART: Directed Automated Random Testing
  - Concurrency testing
    - Reading:Iterative context bounding for systematic testing of multithreaded programs
Week 4 (9/14)
- Testing
- Debugging
  - Statistical debugging
    - Reading:Scalable Statistical Bug Isolation
  - Delta debugging
    - Reading:Simplifying and Isolating Failure-Inducing Input
  - Comparison-based debugging
    - Reading:Algorithms for Automatically Computing the Causal Paths of Failures
  - Debugging concurrent programs
    - Reading:Hybrid Dynamic Data Race Detection
    - Reading:AVIO: detecting atomicity violations via access interleaving invariants
Week 5 (9/21)
- Debugging
Week 6 (9/28)
- Debugging
- Tools
Week 7 (10/5, paper bidding for mini PC meeting due, project 2 is assigned, student presentations start)
- [FSE'05]PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code (Tao Bao)
- [ICSE'09] Automatic Creation of SQL Injection and Cross-Site Scripting Attacks (Madhavan)
Week 8 (10/12, October break, final project proposal due)
- [SC'09] Scalable Temporal Order Analysis for Large Scale Debugging (Brandon)
Week 9 (10/19, project 2 is due, discussion on project proposals)
- Invited talk on getting a startup funded.
- [FSE'09] Improving Bug Triage with Bug Tossing Graphs (Neelam)

Week 10 (10/26)
- [NSDI' 09] CrystalBall : Predicting and Preventing Inconsistencies in Deployed Distributed Systems (Kyu Hyung)
- [SOSP'07]Bouncer: securing software by blocking bad input (Zhiqiang)
Week 11 (11/2, mini PC meeting)
Week 12 (11/9)
- [CCS'09] Behavior Based Software Theft Detection (Brent)
- (Siddharth)
Week 13 (11/16, final project status report)
- [ISCA'09] A Case for an Interleaving Constrained Shared-Memory Multi-Processor(Dasarath)
- [CC'09] Live Debugging of Distributed Systems (Yunhui)
Week 14 (11/23, thanks-giving)
- One student presentation.
Week 15 (11/30)
- Two student presentations.
Week 16 (12/7, final presentations and reports due)

schedule_2009fall.txt · Last modified: 2017/01/08 11:45 (external edit)