3 citations · 3 across the 1 of their papers we have counts for
1 paper
James Koppel, Jackson Kearl, Armando Solar-Lezama
We develop the first theory of control-flow graphs from first principles, and use it to create an algorithm for automatically synthesizing many variants of control-flow graph gener…