CUBA: interprocedural Context-UnBounded Analysis of concurrent programs.

Peizun Liu, Thomas Wahl

Browse the full PLDI paper archive.