Program Analysis Reading Group - Spring 2019

As a part of our weekly lab meetings, we shall 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: 2pm Wednesdays

Location: T8003

Date Location Leader Paper
Jan 16 T8003 Shreeasish Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
CCS 2018
Jan 23 T8003 Shreeasish Xavier Leroy
Formal verification of a realistic compiler
CACM
Jan 30 T8003 Shadi Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig
Singularity: Pattern Fuzzing for Worst Case Complexity
FSE 2018
Feb 6 T8003 Golnaz Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
Automatically generating features for learning program analysis heuristics for C-like languages
OOPSLA 2017
Feb 20 T8003 Shreeasish Yousra Aafer, Guanhong Tao, Jianjun Huang, Xiangyu Zhang, Ninghui Li
Precise Android API Protection MappingDerivation and Reasoning
CCS 2018
Feb 27 T8003 Shadi Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu
Understanding and Detecting Real-World Performance Bugs
PLDI 2012
Mar 6 T8003 Shreeasish Tony Hoare
An Axiomatic Basis for Computer Programming
CACM, Oct 1969
Mar 13 T8003 all Van-Thuan Pham, Marcel Bohme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing
N/A
Apr 3 T8003 Golnaz Golnaz Gharachorlu, Nick Sumner
Pardis: Priority Aware Test Case Reduction
FASE 2019