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: TBD
Location: TBD
| Date | Location | Leader | Paper |
|---|---|---|---|
| May 1 | T8003 | all |
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang An Empirical Study of Fault Localization Families and Their Combinations TSE |
| May TBD | TBD | all |
Jake Roemer, Kaan Genç, and Michael D. Bond Practical Predictive Race Detection N/A |