Detecting concurrency bugs in higher-order programs through abstract interpretation.

Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Browse the full PPDP paper archive.