| Date |
Lecture Slides |
Homework |
Reading Materials |
| 1/20 |
Introduction lecture01.pptx |
|
None |
| 1/22 |
Korat lecture02-korat.ppt |
|
Korat.pdf |
| 1/27 |
Concolic Testing lecture03-concolic.pptx |
CUTE Homework (due on 2/15) |
dart.pdf
cute.pdf (optional)
|
| 1/29 |
Race detection lecture04-race.ppt |
|
hybrid.pdf
raced.pdf
|
| 2/3 |
Corina on Symbolic JPF SymbolicJPF09.ppt |
|
symjpf.pdf |
| 2/5 |
Cancelled. |
|
|
| 2/10 |
Tom Ball on Program Analysis 2.0 Program Analysis 2.0.pdf |
|
None |
| 2/12 |
Atomicity and deadlock analysis lecture05-atomicity.ppt |
|
atomizer.pdf
deadlock.pdf
|
| 2/17 |
Partial Order Reduction in Model Checking lecture06-dpor.ppt |
RaceFuzzer Homework (due on 3/3) |
dpor.pdf |
| 2/19 |
Madan Musuvathi on CHESS: Finding and Reproducing Heisenbugs in Concurrent Programs chess-berkeley2009.pptx |
|
chess1.pdf
chess2.pdf
|
| 2/24 |
Project discussion |
|
|
| 2/26 |
Pushdown models and decidability lecture07-pda.ppt |
|
pda.pdf (section 3 onwards are optional)
cpda.pdf(optional)
|
| 3/3 |
Well Structured Transition Systems |
|
wqod.pdf
WSTS.pdf (optional)
|
| 3/5 |
Multiset Pushdown Systems |
|
kmpds.pdf
mpds.pdf (optional)
|
| 3/10 |
Mooly Sagiv on Abstract Interpretation overview.ppt |
|
Check your email for reading material |
| 3/12 |
Mooly Sagiv on Abstract Interpretation ai.pptx |
Pointer Analysis Homework (due on 4/14) |
|
| 3/17 |
Mayur Naik on Pointer analysis pointer-analysis1.ppt |
|
hind-paste01.pdf |
| 3/19 |
Mayur Naik on Pointer analysis pointer-analysis2.ppt |
|
pldi04.pdf |
| 3/31 |
Byron Cook on Terminator termination1.pdf |
|
monograph.pdf review.pdf |
| 4/2 |
Byron Cook on Terminator termination2.pdf |
|
read a paper of choice from http://research.microsoft.com/en-us/um/cambridge/projects/terminator/papers.htm |
| 4/7 |
Byron Cook on Terminator termination3.pdf |
|
read a paper of choice from http://research.microsoft.com/en-us/um/cambridge/projects/terminator/papers.htm |
| 4/9 |
Byron Cook on Terminator termination4.pdf |
|
|
| 4/14 |
Corina and Dimitra on Compositional verification compver.pdf |
|
jase03.pdf |
| 4/16 |
Corina and Dimitra on Compositional verification CompositionalVerification_Part_II.ppt |
|
LearningJournal.pdf |
| 4/21 |
No class (work on the project) |
|
|
| 4/23 |
Corina and Dimitra on Compositional verification compver3.pdf |
|
fase09.pdf |
| 4/28 |
Ranjit Jhala on BLAST blast-lecture-long.ppt |
|
lazy_abstraction.pdf |
| 4/30 |
Delta Debugging |
|
delta.pdf |
| 5/5 |
No Class |
|
|
| 5/7 |
Project presentation Project Poster and Report |
|
|
Comments (0)
You don't have permission to comment on this page.