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: gilray.org

Sun 23 Jun

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