Inferring Channel Buffer Bounds Via Linear Programming.

Tachio Terauchi, Adam Megacz

Browse the full ESOP paper archive.