Articles in journals or magazines

• C. Kittivorawong, Y. Ge, Y. Helal, and A. Cheung, "Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations," Proc. VLDB Endow., vol. 17, no. 9, pp. 2136–2148, May 2024.

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

• A. Cheung and S. A. Seshia, "LLM-Based Code Translation Needs Formal Compositional Reasoning," Oct. 2025.
• S. Bhatia, J. Qiu, S. A. Seshia, and A. Cheung, "Can LLMs Perform Verified Lifting of Code?," March 2024.

Ph.D. Theses

• L. Gong, "Advancing Large Language Models for Code Using Code-Structure-Aware Methods," A. Cheung, D. Song, and S. Wang, Eds., May 2025.

Masters Reports

• M. Hasan, "Benchmarking Extraction of Structured Data from Templatized Documents," A. Parameswaran and A. Cheung, Eds., May 2025.
• A. Haan, D. T. Popovici, K. Sen, C. Iancu, and A. Cheung, "To tile or not to tile, that is the question," April 2025.
• G. Matute, W. Ni, T. Barik, A. Cheung, and S. Chasins, "Syntactic Code Search with Sequence-to-Tree Matching," May 2024.
• Z. Sun, "Query Aware Synthetic Data Generation," A. Cheung, Ed., May 2023.
• S. Laddad, C. Power, M. Milano, A. Cheung, and J. M. Hellerstein, "Katara: Synthesizing CRDTs with Verified Lifting," Jan. 2023.
• M. Samuel, "Hydroflow: A Model and Runtime for Distributed Systems Programming," J. M. Hellerstein and A. Cheung, Eds., Aug. 2021.