Exercises 11: Round 2 of Paper Presentations

Stepwise Program Derivation

STEPWISE PROGRAM DERIVATION, by R.G. Dromey and D. Billington, pdf

Presented by: Mikaël Mayer

Dynamic Spyware Analysis

Manuel Egele, Christopher Kruegel, Engin Kirda, Heng Yin, Dawn Song, “Dynamic Spyware Analysis”, 2007 USENIX Annual Technical Conference

Presented by: Nicolas Boichat and Eric Bisolfati

Presentation Slides

An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types

Presented by: Bogdan Stroe, Jonas Lindmark

MONA Implementation Secrets (and background)