@inproceedings{LeOhYi14, author = "Woosuk Lee and Hakjoo Oh and Kwangkeun Yi", title = "A Progress Bar for Static Anaylzers", booktitle = "SAS 2014: 21st International Static Analysis Symposium", series = "Lecture Notes in Computer Science", year = "2014", publisher = "Springer-Verlag" }