@inproceedings{LeOhYi-SAS-2014,
author = {Woosuk Lee and Hakjoo Oh and Kwangkeun Yi},
title = {A Progress Bar for Static Anaylzers},
booktitle={21st International Static Analysis Symposium (SAS'14)},
year = {2014}
}