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).
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: 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 |