Sun 23 Jun 2019 15:00 - 15:30 at 212B - Session III Chair(s): Max Schaefer

In this talk I will discuss abstracting abstract machines (AAM), a systematic methodology for extracting analyses, using the theory of abstract interpretation, from abstract-machine-based language semantics. I will focus especially on how to tune the polyvariance of such analyses and trade off precision and complexity. I will discuss advantages and challenges of this approach in the context of declarative languages for program analysis.

I am an Asst. Professor at the University of Alabama, Birmingham and work on program analysis, verification, language design, declarative analyses, high performance logic solving, and related topics. Visit my website for more:

Sun 23 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

14:00 - 15:30: DPA - Session III at 212B
Chair(s): Max SchaeferGitHub
dpa-2019-papers14:00 - 14:30
Mistral ContrastinUniversity of Cambridge, UK
dpa-2019-papers14:30 - 15:00
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
dpa-2019-papers15:00 - 15:30
Thomas GilrayThe University of Alabama at Birmingham