@inproceedings{OhHeLeLeYi2012,
   author = {Hakjoo Oh and Kihong Heo and Wonchan Lee and Woosuk Lee and Kwangkeun Yi},
   title = {Design and Implementation of Sparse Global Analyses for C-like Languages},
   booktitle = {PLDI 2012: 33rd ACM Conference on Programming Language Design and Implementation},
   publisher = {Springer},
   year = {2012},
   category = {automatic-bug-detection-for-c-program},
   format = {pdf},
}