@inproceedings{ChAtYiTa11,
   author = {Wontae Choi and Baris Aktemur and Kwangkeun Yi and Makoto Tatsuda},
   title = {Static Analysis of Multi-Staged Programs via Unstaging Translation},
   booktitle = {Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
   pages = {81--92},
   year = {2011},
   category = {staged-programming-languages},
   format = {pdf},
}