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,
"<i>Systematic Abstraction of Abstract Machines</i>", is probably the best
version to read, the earlier "<i>Abstracting Abstract Machines</i>" may also
be helpful. There's also a CACM highlight version of "<i>Abstracting
Abstract Machines</i>" that's only 8 pages. All of these papers are
available.<p>- "<i>Systematic Abstraction of Abstract Machines</i>" from JFP 2012 (39 pages)<p><a href="http://arxiv.org/abs/1107.3539" rel="nofollow">http://arxiv.org/abs/1107.3539</a><p>- "<i>Abstracting Abstract Machines</i>" from ACM ICFP, 2010, (12 pages)<p><a href="http://arxiv.org/abs/1007.4446" rel="nofollow">http://arxiv.org/abs/1007.4446</a><p><a href="http://www.cs.umd.edu/class/fall2014/cmsc631/papers/vanhorn-aam.pdf" rel="nofollow">http://www.cs.umd.edu/class/fall2014/cmsc631/papers/vanhorn-...</a><p>- "<i>Abstracting Abstract Machines</i>" from CACM highlight 2011 (8 pages)<p><a href="http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm11.pdf" rel="nofollow">http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm...</a><p>[1] <a href="https://news.ycombinator.com/item?id=10963677" rel="nofollow">https://news.ycombinator.com/item?id=10963677</a>