Recent site activity

Dec 9, 2011, 5:17 AM Johannes Kinder edited Syllabus
Dec 9, 2011, 5:17 AM Johannes Kinder edited Syllabus
Dec 9, 2011, 5:16 AM Johannes Kinder attached Sergii_Vozniuk_S2E_Cloud9.pdf to Syllabus
Dec 9, 2011, 5:16 AM Johannes Kinder edited Syllabus
Dec 9, 2011, 4:08 AM Johannes Kinder edited Syllabus
Dec 9, 2011, 3:23 AM Johannes Kinder edited Syllabus
Dec 5, 2011, 4:54 AM Johannes Kinder edited OP7: In Search of the Elusive Performance Bug
Dec 5, 2011, 4:51 AM Johannes Kinder edited One-Pagers
Dec 5, 2011, 4:50 AM Johannes Kinder edited OP7: In Search of the Elusive Performance Bug
Dec 5, 2011, 4:50 AM Johannes Kinder edited OP7: In Search of the Elusive Performance Bug
Dec 5, 2011, 4:49 AM Johannes Kinder edited OP7: In Search of the Elusive Performance Bug
Dec 5, 2011, 4:46 AM Johannes Kinder created favorite
Dec 5, 2011, 12:24 AM Johannes Kinder edited One-Pagers
Dec 5, 2011, 12:22 AM Johannes Kinder edited OP8: Turning Abstract Interpretation into Symbolic Execution
Dec 5, 2011, 12:09 AM Johannes Kinder created favorite
Dec 2, 2011, 5:08 AM Johannes Kinder edited One-Pagers
Dec 2, 2011, 5:06 AM Johannes Kinder edited OP11: A New Consistency Model
Dec 2, 2011, 5:06 AM Johannes Kinder edited OP11: A New Consistency Model
Dec 2, 2011, 5:05 AM Johannes Kinder created OP11: A New Consistency Model
Nov 28, 2011, 5:24 AM Johannes Kinder attached Yannis_Klonatos_Performance.pdf to Syllabus
Nov 27, 2011, 6:42 AM Johannes Kinder attached Daniel_Lupei_API_Usage.pdf to Syllabus
Nov 27, 2011, 6:41 AM Johannes Kinder attached Baris_Kasikci_Verisoft_DPOR.pdf to Syllabus
Nov 27, 2011, 6:40 AM Johannes Kinder attached Andrew_Becker_Static_Checking.pdf to Syllabus
Nov 25, 2011, 10:39 AM Johannes Kinder updated Jonas_Wagner_Compositional.pdf
Nov 25, 2011, 3:54 AM Johannes Kinder attached Jonas_Wagner_Compositional.pdf to Syllabus