@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({\bf POPL})",
  pages = "81--92",
  year = "2011"
}