@conference {16370, title = {Static Analysis of Data-Intensive Applications}, year = {2013}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, author = {Csaba Nagy} }