Cheung, Alvin

Mapping Language to Code in Programmatic Context

Iyer, S., Konstas, I., Cheung, A., & Zettlemoyer, L. (2018) · Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing

Software Engineering ResearchTopic Modeling

Cited by 180

Verified Code Transpilation with LLMs

Bhatia, S., Qiu, J., Hasabnis, N., Seshia, S., & Cheung, A. (2024) · Advances in Neural Information Processing Systems 37

Logic, programming, and type systemsSoftware Engineering Research

Cited by 12

AST-T5: Structure-aware pretraining for code generation and understanding

Gong, L., Elhoushi, M., & Cheung, A. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 7

Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First

Liu, S., Ponnapalli, S., Shankar, S., Zeighami, S., Zhu, A., Agarwal, S., Chen, R., Suwito, S., Yuan, S., Stoica, I., et al. (2025) · arXiv

Advanced Database Systems and QueriesScientific Computing and Data Management

Cited by 2

Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks with BenchJack

Wang, H., Li, H., Mang, Q., Cheung, A., Sen, K., & Song, D. (2026) · arXiv

Adversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques

Cited by 1

EvoX: Meta-Evolution for Automated Discovery

Liu, S., Agarwal, S., Maheswaran, M., Cemri, M., Li, Z., Mang, Q., Naren, A., Boneh, E., Cheng, A., Pan, M. Z., et al. (2026) · arXiv

Evolutionary Algorithms and ApplicationsMetaheuristic Optimization Algorithms Research

Cited by 1