Making Rigorous Linear Programming Practical for Program Analysis.

Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang

Browse the full CP paper archive.