E6121 Reliable Software

Fall 2011 -- Junfeng Yang

# 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