The paper is very good. Here is tomorrow’s agenda: • Quick review of use/pass specification rules • Examples • Proposals for call graph specifications and higher orderness

The last point is very important. The current generator ignores modules names, which is a simple problem to implement. Transforming parameters of higher orderness into a call graph is a much more complex problem. If there is any related work on this topic, it would be helpful to discuss at tomorrow’s meeting.