Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Mon 31 Oct 2016 14:20 - 14:45 at Matterhorn 2 - Analysis, Testing & Verification Chair(s): Philipp Haller

We present Scala-AM, a framework for implementing static analyses as systematically abstracted abstract machines. Analyses implemented on top of Scala-AM separate operational semantics from machine abstraction concerns. This modularity facilitates varying the analyzed language and the applied abstraction method in an analysis. We describe the design of our framework and demonstrate its use in a static analysis for the DOT calculus. We conclude with a tour of the features of Scala through which Scala-AM achieves its modularity.

Mon 31 Oct
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10: Scala - Analysis, Testing & Verification at Matterhorn 2
Chair(s): Philipp HallerKTH Royal Institute of Technology
scala-201613:30 - 13:55
Georg Stefan SchmidEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
DOI File Attached
scala-201613:55 - 14:20
DOI File Attached
scala-201614:20 - 14:45
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium
scala-201614:45 - 15:10
Kartik ChandraHenry M. Gunn High School, Rastislav BodikUniversity of Washington, USA
Media Attached