<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Pushdown Control-Flow Analysis for Free · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1507.03137/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/1507.03137/feed.xml" rel="self" type="application/rss+xml" /><item><title>Pushdown Control-Flow Analysis for Free — mentioned by labichn</title><link>https://news.ycombinator.com/item?id=11506939</link><guid isPermaLink="false">urn:hackerpapers:mention:1507.03137:11506939</guid><pubDate>Fri, 15 Apr 2016 19:23:05 GMT</pubDate><description>&lt;p&gt;In addition to the early publications, I would also recommend section 2 of T. Gilray et al.&amp;#x27;s &amp;quot;Pushdown Control-Flow Analysis for Free&amp;quot; (POPL &amp;#x27;16) as a slightly higher-level introduction to AAM [1]. It&amp;#x27;s the cleanest presentation I&amp;#x27;ve seen to date. [1] http://arxiv.org/abs/1507.03137&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1507.03137/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.PL</category></item></channel></rss>
