Articles in conference proceedings

• L. Gong, C. Xiong, X. Liu, P. Bajaj, Y. Xie, A. Cheung, J. Gao, and X. Song, "Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers," in Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Toronto, Canada: Association for Computational Linguistics, 2023, pp. 12933--12950.
• X. Chen, L. Gong, A. Cheung, and D. Song, "PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context," in Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers), Online: Association for Computational Linguistics, 2021, pp. 2169--2181.

Technical Reports

• S. Bhatia, J. Qiu, S. A. Seshia, and A. Cheung, "Can LLMs Perform Verified Lifting of Code?," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2024-11, March 2024.

Masters Reports

• G. Matute, W. Ni, T. Barik, A. Cheung, and S. Chasins, "Syntactic Code Search with Sequence-to-Tree Matching," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2024-93, May 2024.
• Z. Sun, "Query Aware Synthetic Data Generation," A. Cheung, Ed., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-124, May 2023.
• S. Laddad, C. Power, M. Milano, A. Cheung, and J. M. Hellerstein, "Katara: Synthesizing CRDTs with Verified Lifting," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-2, Jan. 2023.
• M. Samuel, "Hydroflow: A Model and Runtime for Distributed Systems Programming," J. M. Hellerstein and A. Cheung, Eds., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2021-201, Aug. 2021.