A Parallel Worklist Algorithm for Modular Analyses.

Noah Van Es, Quentin Stivenart, Jens Van der Plas, Coen De Roover

Browse the full SCAM paper archive.