Venue
Tuesdays at 11:30-1:20 in AQ5017
Thursdays at 11:30-12:20 in AQ5009
If there are papers listed for a given day, you should read them before class that day. For student presented papers, on any week that you are not presenting a paper, you should write a response/critique to one of that week's papers. These critiques don't just show that you have at least skimmed through the paper, but they prepare you to discuss the papers and raise (or answer) questions during class. Critiques must be emailed to the professor by midnight before (PDFs, please). If you are presenting a paper, slides for presentation must be emailed to the professor by midnight before the class (PDFs, please).
The schedule is subject to change.
| Week | Date | Topics | Papers | |
|---|---|---|---|---|
| 1 | Jan 6 |
Introduction Representations Slicing LLVM Project 1 due Jan 20 |
||
| Jan 8 |
LLVM Demo Static Analysis |
|||
| 2 | Jan 13 |
Static Analysis File Policy Example Dynamic Analysis Profiling |
Thomas Ball, James Larus Efficient Path Profiling MICRO 1996 |
|
| Jan 15 | Test Reduction | Nick |
Andreas Zeller, Ralf Hildebrandt Simplifying and isolating failure-inducing input. TSE 2002 Commentary |
|
| 3 | Jan 20 |
Testing Stephen Chong's Interprocedural Analysis Profiling |
Keerat |
Jianjun Li, Zhenjiang Wang, Chenggang Wu, Wei-Chung Hsu, Di Xu Dynamic and Adaptive Calling Context Encoding CGO 2014 |
| Jan 22 | Data Races | Naveen |
Stefan Savage, Michael Burorows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson Eraser: A Dynamic Data Race Detector for Multithreaded Programs SOSP 1997, ToCS 1997 |
|
| 4 | Jan 27 | Testing | Tyler |
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang Test-case reduction for C compiler bugs PLDI 2012 |
| Jan 29 | Testing | Kenneth |
René Just, Michael D. Ernst, Gordon Fraser Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States ISSTA 2014 |
|
| 5 | Feb 3 | Testing | Nivedan |
Patrice Godefroid, Nils Klarlund, Koushik Sen DART: Directed Automated Random Testing PLDI 2005 |
| Feb 5 | Verification | Dorsa |
Manuvir Das, Sorin Lerner, Mark Seigle ESP: Path-Sensitive Program Verification in Polynomial Time PLDI 2002 |
|
| 6 | Feb 10 | READING WEEK | ||
| Feb 12 | READING WEEK | |||
| 7 | Feb 17 | Verification | Evgeny |
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons Proofs from Tests ISSTA 2008 |
| Feb 19 | Debugging | Mehrnoosh |
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies Concolic Fault Abstraction SCAM 2014 |
|
| 8 | Feb 24 | Debugging | Ali |
Jifeng Xuan, Martin Monperrus Test Case Purification FSE 2014 |
| Feb 26 | Debugging | Dorsa |
Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang Golden Implementation Driven Software Debugging FSE 2010 |
|
| 9 | Mar 3 | Debugging | Nick |
Hoang Duong, Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra SemFix: Program Repair via Semantic Analysis ICSE 2013 |
| Mar 5 | Concurrency | Naveen |
Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng AI: A Lightweight System for Tolerating Concurrency Bugs FSE 2014 |
|
| 10 | Mar 10 | Concurrency | Tyler |
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond DoubleChecker: Efficient Sound and Precise Atomicity Checking PLDI 2014 |
| Mar 12 | Distributed Systems | Evgeny |
Vinai Sundaram, Patrick Eugster Lightweight message tracing for debugging wireless sensor networks DSN 2013 |
|
| 11 | Mar 17 | Security | Mehrnoosh |
Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014 |
| Mar 19 | Security | Nivedan |
Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao, David Brumley AEG: Automatic Exploit Generation NDSS 2011 Read Section II of this for background |
|
| 12 | Mar 24 | Security | Keerat |
Benjamin Livshits and Monica S. Lam Finding Security Vulnerabilities in Java Applications with Static Analysis Usenix Security 2005 |
| Mar 26 | NO CLASS |
|
||
| 13 | Mar 31 | Security | Kenneth |
Volodymyr Kuznetsov, László Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song Code-Pointer Integrity OSDI 2014 (Just through p.12) |
| Apr 2 | Ali |
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior SOSP 2013 And there's a related paper on data races |
||
| 14 | Apr 7 | Project Presentations |
Tyler |
|
|
Kenneth |
||||
|
Ali & Dorsa |
||||
|
Naveen |
||||
| Apr 9 | Project Presentations |
Evgeny |
||
|
Keerat & Nivedan |
||||