Program Analysis Reading Group - Spring 2018

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