Differences
This shows you the differences between two versions of the page.
schedule [2017/01/08 11:45] 127.0.0.1 external edit |
schedule [2017/04/10 23:26] (current) xyzhang |
||
---|---|---|---|
Line 1: | Line 1: | ||
== Tentative Schedule == | == Tentative Schedule == | ||
- | ***Week 1** (1/7) | + | ***Week 1** (1/9) |
- | *Introduction[[http://www.cs.purdue.edu/homes/xyzhang/spring13/1-introduction.pdf|Slides]] | + | *Introduction[[http://www.cs.purdue.edu/homes/xyzhang/spring17/1-introduction.pdf|Slides]] |
- | *Program Representation[[http://www.cs.purdue.edu/homes/xyzhang/spring13/2-representation.pdf|Slides]] | + | *Program Representation[[http://www.cs.purdue.edu/homes/xyzhang/spring17/2-representation.pdf|Slides]] |
*Reading: [[http://www.cs.purdue.edu/homes/xyzhang/spring10/representation.pdf|Book Chapters]] | *Reading: [[http://www.cs.purdue.edu/homes/xyzhang/spring10/representation.pdf|Book Chapters]] | ||
- | ***Week 2** (1/14) | + | ***Week 2** (1/16) |
- | *Dynamic Program Analysis Primitives - Tracing[[http://www.cs.purdue.edu/homes/xyzhang/spring13/3-tracing.pdf|Slides]] | + | *Dynamic Program Analysis Primitives - Tracing[[http://www.cs.purdue.edu/homes/xyzhang/spring17/3-tracing.pdf|Slides]] |
*Reading:[[http://www.cs.purdue.edu/homes/xyzhang/spring10/valgrind.pdf|Valgrind:a framework for heavyweight dynamic binary instrumentation]] | *Reading:[[http://www.cs.purdue.edu/homes/xyzhang/spring10/valgrind.pdf|Valgrind:a framework for heavyweight dynamic binary instrumentation]] | ||
- | *Suggested Reading:[[http://www.cs.purdue.edu/homes/xyzhang/Comp/taco05.pdf|Whole Execution Trace]] (Section 4 only) | + | ***Student Presentation (Weihang Wang)**: |
- | ***Student Presentation (Ryan Miller)**: | + | ***Week 3** (1/23) |
- | ***Week 3** (1/21) | + | *Profiling[[http://www.cs.purdue.edu/homes/xyzhang/spring17/4-profiling.pdf|Slides]] |
- | *Profiling[[http://www.cs.purdue.edu/homes/xyzhang/spring13/4-profiling.pdf|Slides]] | + | |
*Reading:[[http://www.cs.purdue.edu/homes/xyzhang/spring10/epp.pdf|Efficient Path Profiling]] | *Reading:[[http://www.cs.purdue.edu/homes/xyzhang/spring10/epp.pdf|Efficient Path Profiling]] | ||
- | ***Student Presentation (Azfar Khandoker)**: | + | ***Student Presentation (Priyam Biswas)**: |
- | ***Week 4** (1/28) | + | ***Week 4** (1/30) |
- | *Dynamic Slicing[[http://www.cs.purdue.edu/homes/xyzhang/spring13/5-slicing.pdf|Slides]] | + | *Dynamic Slicing[[http://www.cs.purdue.edu/homes/xyzhang/spring17/5-slicing.ppt|Slides]] |
- | ***Student Presentation (Yonghwi Kwon)** | + | ***Student Presentation (Charitha Saumya)** |
- | ***Week 5** (2/4, instructor travels from 2/2-2/8) | + | ***Week 5** (2/6) |
- | *Building a LLVM tool by Nick Sumner on 2/5[[http://www.cs.purdue.edu/homes/xyzhang/spring13/LLVMIntro.pdf|Slides]] | + | *Implementing information flow system on Valgrind [[http://www.cs.purdue.edu/homes/xyzhang/spring17/5-slicing-IFS.updated.pdf|Slides]] |
- | *Implementing information flow system on Valgrind by Mehdi Azarmi on 2/7[[http://www.cs.purdue.edu/homes/xyzhang/spring13/5-slicing-IFS.updated.pdf|Slides]] | + | *Building a LLVM tool by David Perry on 2/9[[http://www.cs.purdue.edu/homes/xyzhang/spring17/LLVMIntro.pdf|Slides]] |
- | ***Student Presentation (Jianjun Huang)** | + | ***Student Presentation (Abdulellah Abdulaziz M Alsaheel)** |
- | ***Week 6** (2/11) | + | ***Week 6** (2/13) |
- | *Delta Debugging and Statistical Debugging[[http://www.cs.purdue.edu/homes/xyzhang/spring13/7-debugging.pdf|Slides]] | + | *Program semantics and formalizing dynamic analysis [[http://www.cs.purdue.edu/homes/xyzhang/spring17/6-formalism.pdf|Slides]] |
- | *Static program analysis[[http://www.cs.purdue.edu/homes/xyzhang/spring13/6-static-analysis.pdf|Slides]] | + | *Static program analysis[[http://www.cs.purdue.edu/homes/xyzhang/spring17/7-static-short.pdf|Slides]] |
- | *Suggested Reading: Dragon book 9.1-9.3.3 | + | ***Student Presentation (Hongjun Choi)** |
- | ***Student Presentation (Abhinav Ghai)** | + | ***Week 7** (2/20) |
- | ***Week 7** (2/18) | + | |
*Static program analysis | *Static program analysis | ||
- | ***Student Presentation (Hou-Jen Ko)** | + | *Suggested Reading: Dragon book 9.1-9.3.3 |
- | ***Week 8** (2/25) | + | ***Student Presentation (Yingqi Liu)** |
- | *Propositional Logic[[http://www.cs.purdue.edu/homes/xyzhang/spring13/10-logic-wo-notes.pdf|Slides]] | + | ***Week 8** (2/27) |
- | *Reading: Chapter one of //Logic in Computer Science//. | + | *Alias analysis |
- | ***Student Presentation (Brendan Saltaformaggio)** | + | ***Student Presentation (Chris Doak)** |
- | ***Week 9** (3/4, midterm on 3/7) | + | ***Week 9** (3/6, midterm on 3/9) |
- | *Propositional Logic | + | *Data flow analysis framework |
*Midterm | *Midterm | ||
- | ***Week 10** (3/11, spring break, no class) | + | ***Week 10** (3/13, spring break, no class) |
- | ***Week 11** (3/18) | + | ***Week 11** (3/20) |
- | *SAT solving[[http://www.cs.purdue.edu/homes/xyzhang/spring13/10-bitblast.pdf|Slides]] | + | *Symbolic analysis[[http://www.cs.purdue.edu/homes/xyzhang/spring17/8-symbolic.pdf|Slides]] |
- | *Model Checking C Programs[[http://www.cs.purdue.edu/homes/xyzhang/spring13/11-cbmc-1.pdf|Slides]] | + | *Propositional Logic[[http://www.cs.purdue.edu/homes/xyzhang/spring17/|Slides]] |
+ | *Reading: Chapter one of //Logic in Computer Science//. | ||
+ | ***Week 12** (3/27) | ||
+ | *SAT solving[[http://www.cs.purdue.edu/homes/xyzhang/spring17/10-logic-wo-notes.pdf|Slides]] | ||
+ | ***Student Presentation (Habiba Farrukh) ** | ||
+ | ***Week 13** (4/3) | ||
+ | *SMT solving[[http://www.cs.purdue.edu/homes/xyzhang/spring17/11-smt.pdf|Slides]] | ||
+ | ***Student Presentation (Sudharshan Viswanathan)** | ||
+ | ***Week 14** (4/10, instructor travels on 4/13) | ||
+ | *Software model checking[[http://www.cs.purdue.edu/homes/xyzhang/spring17/12-modelchecking.pdf|Slides]] | ||
*Reading:[[http://www.kroening.com/papers/dac2003.pdf|CBMC]]. | *Reading:[[http://www.kroening.com/papers/dac2003.pdf|CBMC]]. | ||
- | *Suggested Reading:[[http://yices.csl.sri.com/documentation.shtml|SMT solver]] | ||
- | ***Student Presentation (Jeff Avery)** | ||
- | ***Week 12** (3/25) | ||
- | *Model Checking Java Programs[[http://www.cs.purdue.edu/homes/xyzhang/spring13/12-jpf-1.pdf|Slides]] | ||
- | ***Student Presentation (Chung Hwan Kim) ** | ||
- | ***Week 13** (4/1) | ||
- | *JPF-Predicate Abstraction[[http://www.cs.purdue.edu/homes/xyzhang/spring13/12-jpf-2.pdf|Slides]] | ||
*[[http://ti.arc.nasa.gov/people/wvisser/ase00FinalJournal.pdf|Reading:Model Checking Programs]] | *[[http://ti.arc.nasa.gov/people/wvisser/ase00FinalJournal.pdf|Reading:Model Checking Programs]] | ||
*Reading:[[http://www.cs.ucla.edu/~todd/research/pldi01.pdf|Predicate Abstraction]] | *Reading:[[http://www.cs.ucla.edu/~todd/research/pldi01.pdf|Predicate Abstraction]] | ||
- | *Suggested Reading:[[http://mtc.epfl.ch/~tah/Publications/lazy_abstraction.pdf|Lazy Abstraction]] | + | ***Student Presentation (Yuseok Jeon)** |
- | *JPF-Predicate Abstraction | + | ***Week 15** (4/17) |
- | ***Student Presentation (Chunmeng Zhou)** | + | *Software model checking |
- | ***Week 14** (4/8) | + | ***Student Presentation (Sneha Balasubramanian)** |
- | *Testing-II[[http://www.cs.purdue.edu/homes/xyzhang/spring13/13-testing.pdf|Slides]][[http://www.cs.purdue.edu/homes/xyzhang/spring13/13-testing2-cute.pdf|Slides-2]] | + | ***Week 16** (4/24) |
- | *Reading: [[http://portal.acm.org/citation.cfm?id=1081750|Concolic Testing]] | + | |
- | ***Student Presentation (John S. Lima)** | + | |
- | ***Week 15** (4/15) | + | |
- | *Testing-II (testing concurrent programs)[[http://www.cs.purdue.edu/homes/xyzhang/spring13/13-testing2-concurrent.pdf|Slides]] | + | |
- | *Reading: [[http://www.usenix.org/event/osdi08/tech/full_papers/musuvathi/musuvathi.pdf|Finding and Reproducing Heisenbugs in Concurrent Programs]] | + | |
- | ***Student Presentation (Rodrigo Haragutchi)** | + | |
- | ***Week 16** (4/22) | + | |
*Review | *Review | ||
*Project Demo | *Project Demo | ||