Dionna Amalie Glaze

Affiliations:

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

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

Automating Abstract Interpretation of Abstract Machines.

[BibT_eX]

[DOI]

James Ian Johnson

CoRR, 2015

2014

Pushdown flow analysis with abstract garbage collection.

[BibT_eX]

[DOI]

J. Funct. Program., 2014

Abstracting abstract control.

[BibT_eX]

[DOI]

James Ian Johnson

David Van Horn

Proceedings of the DLS'14, 2014

2013

Concrete Semantics for Pushdown Analysis: The Essence of Summarization

[BibT_eX]

[DOI]

J. Ian Johnson

David Van Horn

CoRR, 2013

Optimizing abstract abstract machines.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Optimizing Abstract Abstract Machines

[BibT_eX]

[DOI]

J. Ian Johnson

Matthew Might

David Van Horn

CoRR, 2012

Dionna Amalie Glaze

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...