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
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)
http://www.brics.dk/mona (paper: http://www.brics.dk/mona/papers/implementation-secrets/journal.pdf)
Presented by: Abhinav Kumar