@conference{ChAkYiTa-POPL-2011,
title={Static analysis of multi-staged programs via unstaging translation},
author = {Wontae Choi and Baris Aktemur and Kwangkeun Yi and Makoto Tatsuta},
booktitle={Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'11)},
volume={46},
number={1},
pages={81--92},
issn={0362-1340},
year={2011},
publisher={ACM}
}