Monday | Tuesday | Wednesday | Thursday | Friday |
---|---|---|---|---|
Jul 22 | Jul 23 | Jul 24 | Jul 25 Introduction | Jul 26 |
Jul 29 CHESS PREP: read paper (Finding and Reproducing Heisenbugs in Concurrent Programs, Musuvathi et. al., OSDI 08) | Jul 30 | Jul 31 | Aug 1 ..contd. | Aug 2 |
Aug 5 Probabilistic Concurrency Testing PREP: read paper (A randomized scheduler with probabilistic guarantees of finding bugs, ASPLOS 10) [optional: paper on variable and thread bounding]. do homework | Aug 6 | Aug 7 | Aug 8 Dthreads PREP: read paper (Dthreads: Efficient and Deterministic Multithreading, T. Liu et. al., SOSP 11) | Aug 9 |
Aug 12 ..contd. | Aug 13 | Aug 14 | Aug 15 Independence Day | Aug 16 |
Aug 19 PRES PREP: read paper (PRES: Probabilistic Replay with Execution Sketching on Multiprocessors, S. Park et. al., SOSP 09) | Aug 20 | Aug 21 | Aug 22 Translation Validation PREP: read paper (Translation Validation for an Optimizing Compiler, G. Necula, PLDI 00) | Aug 23 |
Aug 26 No Lecture | Aug 27 | Aug 28 | Aug 29 MINOR1 TESTS | Aug 30 |
Sep 2 MINOR1 TESTS | Sep 3 | Sep 4 | Sep 5 ..contd. | Sep 6 |
Sep 9 ..contd. PREP: understand working of translation validation example. Return of Minor-1 scripts | Sep 10 | Sep 11 | Sep 12 Certifying Compiler PREP: read paper1, paper2 (The Design and Implementation of a Certifying Compiler, Necula et. al., PLDI 98) | Sep 13 |
Sep 16 ..contd. | Sep 17 | Sep 18 | Sep 19 ..contd. | Sep 20 |
Sep 23 Packet Filters using Proof Carrying Code PREP: read undecidabililty of FOL, paper (Safe Kernel Extensions without Run-time Checking, G. Necula et. al., OSDI 96) | Sep 24 | Sep 25 | Sep 26 CompCert PREP: read paper1, paper2 (Formal verification of a realistic compiler, X. Leroy, CACM 09) | Sep 27 |
Sep 30 ..contd. | Oct 1 | Oct 2 | Oct 3 ..contd. | Oct 4 |
Oct 7 MINOR2 TESTS | Oct 8 | Oct 9 | Oct 10 Towards Real Microkernels PREP: read paper (Towards Real Microkernels, J. Liedtke, CACM 96) | Oct 11 |
Oct 14 Improving IPC by Kernel Design PREP: read paper (Improving IPC by Kernel Design, J. Liedtke, SOSP 93) | Oct 15 | Oct 16 | Oct 17 Exokernel PREP: read paper (Exokernel, an operating system architecture for application-level resource management, D. Engler et. al., SOSP 95). | Oct 18 |
Oct 21 Semester Break | Oct 22 | Oct 23 | Oct 24 Semester Break | Oct 25 |
Oct 28 Parametrized Program Equivalence PREP: read paper (Proving Optimizations Correct using Parametrized Program Equivalence, S. Kundu et. al. , PLDI 09) | Oct 29 | Oct 30 | Oct 31 Fast Dynamic Binary Translation for the Kernel (pptx) PREP: optionally read paper (P. Kedia et. al., SOSP 13) | Nov 1 |
Nov 4 No Lecture | Nov 5 | Nov 6 | Nov 7 No Lecture | Nov 8 |
Nov 11 Data Representation Synthesis PREP: read paper (Data Representation Synthesis, P. Hawkins et. al., PLDI 11) | Nov 12 | Nov 13 | Nov 14 Muharram | Nov 15 |
Nov 18 Concurrent Data Representation Synthesis PREP: read paper (Concurrent Data Representation Synthesis, P. Hawkins et. al., PLDI 12) | Nov 19 | Nov 20 | Nov 21 Akash Lal's talk PREP: optionally read paper1, paper2 | Nov 22 |