Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013

@inproceedings{Banerjee2013SemanticsAI,
  title={Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
  author={Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff},
  booktitle={Festschrift for Dave Schmidt},
  year={2013}
}
This Liber Amicorum is a collection of essays ranging from personal memories to technical contributions. It is a tribute to Dave Schmidt and his career, and was composed at the occasion of his sixtieth birthday. 

Abstract interpretation: past, present and future

This talk will consist in an introduction to the basic notions of abstract interpretation and the induced methodology for the systematic development of sound abstract interpretation-based tools.

Slang: The Sireum Programming Language

Rationale is given for specializing Scala for Slang so as to retain Scala’s synergistic blend of imperative, functional, and object-oriented features while omitting and tailoring features that make formal verification and other analyses difficult.