Michael D. Adams

Available identifiers

zbMath Open adams.michael-dMaRDI QIDQ2287085

List of research outcomes

Publication	Date of Publication	Type
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap	2022-10-13	Paper
Demand control-flow analysis	2020-01-23	Paper
Abstract allocation as a unified approach to polyvariance in control-flow analyses	2019-02-20	Paper
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis	2017-05-10	Paper
Pushdown control-flow analysis for free	2016-10-24	Paper
Towards the Essence of Hygiene	2016-09-29	Paper
Principled parsing for indentation-sensitive languages	2014-11-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael D. Adams