| 
  • If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.

  • Want to get organized in 2022? Let Dokkio put your cloud files (Drive, Dropbox, and Slack and Gmail attachments) and documents (Google Docs, Sheets, and Notion) in order. Try Dokkio (from the makers of PBworks) for free. Available on the web, Mac, and Windows.

View
 

Schedule

Page history last edited by Koushik Sen 12 years, 9 months ago

Tentative Lecture Schedule 

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.