Time and Location Date: Wednesday, August 6 Time: 1:00-2:00PM Location: Luddy Hall 1104 Abstract Control-flow analysis has been around for over four decades. Over this time period, the typical formulation has remained essentially an exhaustive analysis over whole programs—an analyzer ingests an entire higher-order program and produces a flow fact for each point therein. An alternative approach is demand-driven. Implementing this approach, an analyzer allows the user to indicate a point within a ...