Comment by jcr

This was posted once before by HN user 'ingve' but didn't get much attention [1]. Though the most recent and largest (39 pages) JFP paper, "Systematic Abstraction of Abstract Machines", is probably the best version to read, the earlier "Abstracting Abstract Machines" may also be helpful. There's also a CACM highlight version of "Abstracting Abstract Machines" that's only 8 pages. All of these papers are available.

- "Systematic Abstraction of Abstract Machines" from JFP 2012 (39 pages)

http://arxiv.org/abs/1107.3539

- "Abstracting Abstract Machines" from ACM ICFP, 2010, (12 pages)

http://arxiv.org/abs/1007.4446

http://www.cs.umd.edu/class/fall2014/cmsc631/papers/vanhorn-...

- "Abstracting Abstract Machines" from CACM highlight 2011 (8 pages)

http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm...

[1] https://news.ycombinator.com/item?id=10963677