#
| 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 |
|
|