The Correctness-Security Gap in Compiler Optimization

Alex Denisov will be presenting "The Correctness-Security Gap in Compiler Optimization" by Vijay D’Silva, Mathias Payer, and Dawn Song.
Link to the paper: https://nebelwelt.net/publications/files/15LangSec.pdf

There will be food and drink at the meetup this time! Location, food and drink sponsored by METRO. Thanks METRO!