Lab for Automated Reasoning and Analysis LARA

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

Presentation Slides

Alloy & Isabelle files

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

Reference Paper : Adoption and Focus

Presentation slides

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.

Botnet book

Presentation

Presented by: Paul Dan Marinescu

 
sav09/exercises_10.txt · Last modified: 2009/05/04 14:33 by piskac
 
© EPFL 2018 - Legal notice