Differences
This shows you the differences between two versions of the page.
|
schedule [2017/03/23 12:09] xyzhang |
schedule [2017/04/10 23:26] (current) xyzhang |
||
|---|---|---|---|
| Line 28: | Line 28: | ||
| ***Student Presentation (Yingqi Liu)** | ***Student Presentation (Yingqi Liu)** | ||
| ***Week 8** (2/27) | ***Week 8** (2/27) | ||
| - | *Propositional Logic[[http://www.cs.purdue.edu/homes/xyzhang/spring17/10-logic-wo-notes.pdf|Slides]] | + | *Alias analysis |
| - | *Reading: Chapter one of //Logic in Computer Science//. | + | |
| ***Student Presentation (Chris Doak)** | ***Student Presentation (Chris Doak)** | ||
| ***Week 9** (3/6, midterm on 3/9) | ***Week 9** (3/6, midterm on 3/9) | ||
| - | *Propositional Logic | + | *Data flow analysis framework |
| *Midterm | *Midterm | ||
| ***Week 10** (3/13, spring break, no class) | ***Week 10** (3/13, spring break, no class) | ||
| ***Week 11** (3/20) | ***Week 11** (3/20) | ||
| - | *SAT solving[[http://www.cs.purdue.edu/homes/xyzhang/spring17/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/spring17/11-cbmc-1.pdf|Slides]] | + | *Propositional Logic[[http://www.cs.purdue.edu/homes/xyzhang/spring17/|Slides]] |
| - | *Reading:[[http://www.kroening.com/papers/dac2003.pdf|CBMC]]. | + | *Reading: Chapter one of //Logic in Computer Science//. |
| - | *Suggested Reading:[[http://yices.csl.sri.com/documentation.shtml|SMT solver]] | + | |
| - | ***Student Presentation ()** | + | |
| ***Week 12** (3/27) | ***Week 12** (3/27) | ||
| - | *Model Checking Java Programs[[http://www.cs.purdue.edu/homes/xyzhang/spring17/12-jpf-1.pdf|Slides]] | + | *SAT solving[[http://www.cs.purdue.edu/homes/xyzhang/spring17/10-logic-wo-notes.pdf|Slides]] |
| ***Student Presentation (Habiba Farrukh) ** | ***Student Presentation (Habiba Farrukh) ** | ||
| ***Week 13** (4/3) | ***Week 13** (4/3) | ||
| - | *JPF-Predicate Abstraction[[http://www.cs.purdue.edu/homes/xyzhang/spring17/12-jpf-2.pdf|Slides]] | + | *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]]. | ||
| *[[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]] | ||
| - | *JPF-Predicate Abstraction | ||
| - | ***Student Presentation (Sudharshan Viswanathan)** | ||
| - | ***Week 14** (4/10) | ||
| - | *Testing-II[[http://www.cs.purdue.edu/homes/xyzhang/spring17/13-testing.pdf|Slides]][[http://www.cs.purdue.edu/homes/xyzhang/spring17/13-testing2-cute.pdf|Slides-2]] | ||
| - | *Reading: [[http://portal.acm.org/citation.cfm?id=1081750|Concolic Testing]] | ||
| ***Student Presentation (Yuseok Jeon)** | ***Student Presentation (Yuseok Jeon)** | ||
| ***Week 15** (4/17) | ***Week 15** (4/17) | ||
| - | *Testing-II (testing concurrent programs)[[http://www.cs.purdue.edu/homes/xyzhang/spring17/13-testing2-concurrent.pdf|Slides]] | + | *Software model checking |
| - | *Reading: [[http://www.usenix.org/event/osdi08/tech/full_papers/musuvathi/musuvathi.pdf|Finding and Reproducing Heisenbugs in Concurrent Programs]] | + | |
| - | *Delta Debugging and Statistical Debugging[[http://www.cs.purdue.edu/homes/xyzhang/spring17/7-debugging.pdf|Slides]] | + | |
| ***Student Presentation (Sneha Balasubramanian)** | ***Student Presentation (Sneha Balasubramanian)** | ||
| ***Week 16** (4/24) | ***Week 16** (4/24) | ||
