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
Project 1 due Jan 20
Jan 8 LLVM Demo
Static Analysis
2 Jan 13 Static Analysis
File Policy Example
Dynamic Analysis
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
3 Jan 20 Testing
Stephen Chong's
Interprocedural Analysis

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


Ali & Dorsa


Apr 9 Project Presentations Evgeny

Keerat & Nivedan