We meet each week to discuss interesting and relevant papers in program analysis research (perhaps with a security orientation).
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.
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 |