A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques.

G. A. Venkatesh

Browse the full PLDI paper archive.