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

  • Files spread between Dropbox, Google Drive, Gmail, Slack, and more? Dokkio, a new product from the PBworks team, integrates and organizes them for you. Try it for free today.



Page history last edited by Koushik Sen 10 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)


cute.pdf (optional) 

1/29 Race detection lecture04-race.ppt  



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  



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  



2/24 Project discussion     
2/26 Pushdown models and decidability lecture07-pda.ppt  

pda.pdf  (section 3 onwards are optional)


3/3 Well Structured Transition Systems  


WSTS.pdf (optional)

3/5 Multiset Pushdown Systems  


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.