Exercises 10: Round 1 of Paper Presentations
Better bug reporting with better privacy
M. Castro, M. Costa, J-P. Martin. 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2008
Presented by: Horatiu Jula
The Octagon Abstract Domain
Antoine Miné: The Octagon Abstract Domain
Presented by: Thomas Cellerier and Gautier Boucher slides
BREAK
Verifying a Hotel Key Card System
“Verifying a Hotel Key Card System”, Tobias Nipkow Theoretical Aspects of Computing - ICTAC 2006, pdf
Presented by: Hossein Hojjat
Adoption and focus: practical linear types for imperative programming
“Adoption and focus: practical linear types for imperative programming”, by Manuel Fähndrich and Robert DeLine
Presented by: Rémi Bonnet
Reference Paper : Linear types can change the world
Automatically Identifying Trigger-based Behavior in Malware
Automatically Identifying Trigger-based Behavior in Malware, by David Brumley, Cody Hartwig, Zhenkai Liang, James Newsome, Dawn Song, Heng Yin.
Presented by: Paul Dan Marinescu