publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2015

  1. Automating the Abstract Interpretation of Abstract Machines
    Dionna Glaze
    Mar 2015

2014

  1. Pushdown flow analysis with abstract garbage collection
    Dionna Glaze, Ilya Sergey, Christopher Earl, and 2 more authors
    J. Funct. Program., Mar 2014
    DOI
  2. Abstracting abstract control
    Dionna Glaze and David Van Horn
    In DLS’14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014, Mar 2014
    DOI

2013

  1. Optimizing abstract abstract machines
    Dionna Glaze, Nicholas Labich, Matthew Might, and 1 more author
    In ACM SIGPLAN International Conference on Functional Programming, ICFP’13, Boston, MA, USA - September 25 - 27, 2013, Mar 2013
    DOI