Program Analysis Reading Group - Summer 2017

We meet each week to discuss interesting and relevant papers in program analysis research (perhaps with a security orientation).

Preparation

Each week, you should to both read the selected paper and think about critiquing it. You might consider strengths and weaknesses of the technique, strengths and weaknesses of the presentation style, future directions for the work, or anything else that interested you about the paper. You don't need to write anything, but make sure you've thought about it in advance. Some other examples and thoughts on critiques may be found here.

If you have trouble selecting a paper, you might look through the proceedings of Security and Privacy, USENIX Security, ISSTA, ICSE, PLDI, FSE, ICST, ASPLOS, ICSM, ASE, ISMM, ICPC, POPL, and many more.

To suggest a paper, please email me a link by the previous meeting date.

Schedule

Time: 1:30pm

Location: Check schedule

Date Location Paper
May 30 ASB 9921 Robin David, Sébastien Bardin, Jean-Yves Marion
Targeting Infeasibility Questions on Obfuscated Codes
Security and Privacy 2017
June 6 ASB 9921 Hong Hu, Zheng Leong Chua, Sendroiu Adrian, Prateek Saxena, Zhenkai Liang
Automatic Generation of Data-Oriented Exploits
USENIX Security 2015
June 13 TASC 9408 Hong Hu, Zheng Leong Chua, Sendroiu Adrian, Prateek Saxena, Zhenkai Liang
CONTINUED: Automatic Generation of Data-Oriented Exploits
USENIX Security 2015
June 20 TASC 9408 Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Concolic Fault Absraction
SCAM 2014
June 27 TASC 9408 David M. Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
Accelerating Array Constraints in Symbolic Execution
ISSTA 2017
July 4 TASC 9408 Peter Ohmann, Alexander Brooks, Loris D’Antoni, Ben Liblit
Control flow recovery from partial failure reports
PLDI 2017
July 11 None this week

July 20 TASC 9408 Chaoqiang Deng, Kedar S. Namjoshi
Securing a Compiler Transformation
SAS 2016
July 27 TASC 9408 René Just, Bob Kurtz, Paul Ammann
Inferring mutant utility from program context
ISSTA 2017
August 3 TASC 9408 Qirun Zhang, Chengnian Sun, Zhendong Su
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI 2017
August 10 TASC 9204 East Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Synthesizing Program Input Grammars
PLDI 2017
August 17 TASC 9204 East Colin Scott, Aurojit Panda, Vjekoslav Brajkovic, George Necula, Arvind Krishnamurthy, Scott Shenker
Minimizing Faulty Executions of Distributed Systems
NSDI 2016