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: 11:00am Fridays
Location: Usually T9408, check schedule
| Date | Location | Leader | Paper |
|---|---|---|---|
| Jan 12 | TASC 9408 | Nick |
Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom Spectre Attacks: Exploiting Speculative Execution |
| Jan 19 | TASC 9408 | Shreeasish |
Robert N.M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway Capsicum: practical capabilities for UNIX USENIX Security 2010 |
| Jan 26 | TASC 8003 (new room) |
Shadi |
Santiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse SmartInspect: Smart Contract Inspection |
| Feb 9 | TASC 9408 | Golnaz |
Dana Drachsler-Cohen, Martin Vechev, Eran Yahav Optimal Learning of Specifications from Examples |
| Feb 16 | TASC 8003 (new room) |
Shadi |
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor Making Smart Contracts Smarter CCS 2016 |
| Feb 23 | TASC 9408 | Golnaz |
Veselin Raychev, Pavol Bielik, Martin Vechev Probabilistic Model for Code with Decision Trees OOPSLA 2016 |
| March 2 | TASC 9408 | Shreeasish |
Andrea Bittau, Petr Marchenko, Mark Handley, Brad Karp Wedge: Splitting Applications into Reduced-Privilege Compartments NSDI 2008 |
| March 9 | TASC 9408 | Amirali |
Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, Rastislav Bodik Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures PLDI 2014 |
| March 16 | TASC 9408 | Shadi |
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma ZEUS: Analyzing Safety of Smart Contracts NDSS 2018 |
| March 23 | TASC 9408 | All |
Oleksandr Polozov, Sumit Gulwani FlashMeta: A Framework for Inductive Program Synthesis OOPSLA 2015 |
| April 6 | TASC 9408 | Golnaz |
Veselin Raychev, Pavol Bielik, Martin Vechev, Andreas Krause Learning Programs from Noisy Data POPL 2016 |
| April 13 | TASC 9408 | All |
Peng Chen, Hao Chen Angora: Efficient Fuzzing by Principled Search Security and Privacy 2018 |