| #
| Date
| Topic
| Papers
| Speakers
|
| 1 |
9/12 |
Introduction |
Assignment: form reading group |
|
| 2 |
9/19 |
Static analysis framework |
LLVM tutorial, LLVM, bddbddb tutorial, bddbddb |
|
| 3 |
9/26 |
Dynamic instrumentation framework |
LD_PRELOAD trick, Detours, Pin |
|
| 4 |
10/3 |
Generic program analysis |
Valgrind memory checker, Taint tracking |
|
| 5 |
10/10 |
Invited talk I and virtualization |
RacePro, Software vs Hardware Virtualization |
Nicolas Viennot |
| 6 |
10/17 |
Invited talk II |
Bouncer, Tern, Peregrine |
Heming Cui |
| 7 |
10/24 10/21 3-4:50pm |
Invited talk III and symbolic execution |
Cells, EXE |
Jeremy Andrus |
| 8 |
10/31 |
Hack day! |
Work on your programming lab |
|
| 9 |
11/7 |
No class (Academic Holiday) |
|
|
| 10 |
11/14 |
Race detection |
Eraser, ThreadSanitizer |
|
| 11 |
11/21 |
Synchronization |
Read-copy-update (1, 2, 3, 4), Concurrent Hashtable |
|
| 12 |
11/28 |
Failures and Recovery |
Hardware Failure Study, RamCloud Recovery |
|
| 13 |
12/5 |
Invited talk IV |
Laws of Order |
Martin Vechev |
| 14 |
12/12 |
Presention and Demo day |
|
|
