LARA

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 http://www.usenix.org/events/usenix07/tech/full_papers/egele/egele.pdf

Presented by: Nicolas Boichat and Eric Bisolfati

Presentation Slides

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

http://dx.doi.org/10.1016/j.entcs.2006.11.037

Presented by: Bogdan Stroe, Jonas Lindmark

MONA Implementation Secrets (and background)