We stand with Ukraine  

Dionna Amalie Glaze

Affiliations:
  • Northeastern University, College of Computer and Information Science, Boston, MA, USA


According to our database1, Dionna Amalie Glaze authored at least 6 papers between 2012 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Automating Abstract Interpretation of Abstract Machines.
[BibTeX]
[DOI]
Dionna Amalie Glaze
CoRR, 2015

2014
Pushdown flow analysis with abstract garbage collection.
[BibTeX]
[DOI]
Dionna Amalie Glaze
,
Ilya Sergey
,
Christopher Earl
,
Matthew Might
,
David Van Horn
J. Funct. Program., 2014

Abstracting abstract control.
[BibTeX]
[DOI]
Dionna Amalie Glaze
,
David Van Horn
Proceedings of the DLS'14, 2014

2013
Concrete Semantics for Pushdown Analysis: The Essence of Summarization
[BibTeX]
[DOI]
Dionna Amalie Glaze
,
David Van Horn
CoRR, 2013

Optimizing abstract abstract machines.
[BibTeX]
[DOI]
Dionna Amalie Glaze
,
Nicholas Labich
,
Matthew Might
,
David Van Horn
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012
Optimizing Abstract Abstract Machines
[BibTeX]
[DOI]
Dionna Amalie Glaze
,
Matthew Might
,
David Van Horn
CoRR, 2012


  Loading...