| Summarizing source code using a neural attention model S Iyer, I Konstas, A Cheung, L Zettlemoyer 54th Annual Meeting of the Association for Computational Linguistics 2016 …, 2016 | 781 | 2016 |
| Learning a neural semantic parser from user feedback S Iyer, I Konstas, A Cheung, J Krishnamurthy, L Zettlemoyer arXiv preprint arXiv:1704.08760, 2017 | 380 | 2017 |
| Packet transactions: High-level programming for line-rate switches A Sivaraman, A Cheung, M Budiu, C Kim, M Alizadeh, H Balakrishnan, ... Proceedings of the 2016 ACM SIGCOMM Conference, 15-28, 2016 | 288 | 2016 |
| Synthesizing highly expressive SQL queries from input-output examples C Wang, A Cheung, R Bodik Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 241 | 2017 |
| Mapping language to code in programmatic context S Iyer, I Konstas, A Cheung, L Zettlemoyer arXiv preprint arXiv:1808.09588, 2018 | 198 | 2018 |
| Optimizing database-backed applications with query synthesis A Cheung, A Solar-Lezama, S Madden ACM SIGPLAN Notices 48 (6), 3-14, 2013 | 180 | 2013 |
| Undefined behavior: what happened to my code? X Wang, H Chen, A Cheung, Z Jia, N Zeldovich, MF Kaashoek Proceedings of the Asia-Pacific Workshop on Systems, 1-7, 2012 | 126 | 2012 |
| The Seattle report on database research D Abadi, A Ailamaki, D Andersen, P Bailis, M Balazinska, P Bernstein, ... ACM Sigmod Record 48 (4), 44-53, 2020 | 102 | 2020 |
| Towards traceability across sovereign, distributed RFID databases R Agrawal, A Cheung, K Kailing, S Schonauer 2006 10th International Database Engineering and Applications Symposium …, 2006 | 102 | 2006 |
| Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 2017 | 100 | 2017 |
| Verified lifting of stencil computations S Kamil, A Cheung, S Itzhaky, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 711-726, 2016 | 98 | 2016 |
| Automatic partitioning of database applications A Cheung, O Arden, S Madden, AC Myers arXiv preprint arXiv:1208.0271, 2012 | 91 | 2012 |
| HoTTSQL: Proving query rewrites with univalent SQL semantics S Chu, K Weitz, A Cheung, D Suciu ACM SIGPLAN Notices 52 (6), 510-524, 2017 | 90 | 2017 |
| Comparative evaluation of big-data systems on scientific image analytics workloads P Mehta, S Dorkenwald, D Zhao, T Kaftan, A Cheung, M Balazinska, ... arXiv preprint arXiv:1612.02485, 2016 | 74 | 2016 |
| PipeGen: Data pipe generator for hybrid analytics B Haynes, A Cheung, M Balazinska Proceedings of the Seventh ACM Symposium on Cloud Computing, 470-483, 2016 | 73 | 2016 |
| Sloth: Being lazy is a virtue (when issuing database queries) A Cheung, S Madden, A Solar-Lezama ACM Transactions on Database Systems (ToDS) 41 (2), 1-42, 2016 | 69 | 2016 |
| How not to structure your database-backed web applications: a study of performance bugs in the wild J Yang, P Subramaniam, S Lu, C Yan, A Cheung Proceedings of the 40th International Conference on Software Engineering …, 2018 | 68 | 2018 |
| Leveraging lock contention to improve OLTP application performance C Yan, A Cheung Proceedings of the VLDB Endowment 9 (5), 444-455, 2016 | 68 | 2016 |
| Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries S Chu, B Murphy, J Roesch, A Cheung, D Suciu arXiv preprint arXiv:1802.02229, 2018 | 65 | 2018 |
| A new method for design of robust digital circuits D Patil, S Yun, SJ Kim, A Cheung, M Horowitz, S Boyd Sixth international symposium on quality electronic design (isqed'05), 676-681, 2005 | 62 | 2005 |
