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 | 837 | 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 | 396 | 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 | 308 | 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 | 262 | 2017 |
Mapping language to code in programmatic context S Iyer, I Konstas, A Cheung, L Zettlemoyer arXiv preprint arXiv:1808.09588, 2018 | 229 | 2018 |
Optimizing database-backed applications with query synthesis A Cheung, A Solar-Lezama, S Madden ACM SIGPLAN Notices 48 (6), 3-14, 2013 | 188 | 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 | 129 | 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 | 111 | 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 | 105 | 2006 |
Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 1-7, 2017 | 104 | 2017 |
Verified lifting of stencil computations S Kamil, A Cheung, S Itzhaky, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 711-726, 2016 | 101 | 2016 |
HoTTSQL: Proving query rewrites with univalent SQL semantics S Chu, K Weitz, A Cheung, D Suciu ACM SIGPLAN Notices 52 (6), 510-524, 2017 | 97 | 2017 |
Automatic partitioning of database applications A Cheung, O Arden, S Madden, AC Myers arXiv preprint arXiv:1208.0271, 2012 | 91 | 2012 |
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 | 76 | 2018 |
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 | 73 | 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 |
Leveraging lock contention to improve OLTP application performance C Yan, A Cheung Proceedings of the VLDB Endowment 9 (5), 444-455, 2016 | 72 | 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 | 70 | 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 | 68 | 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 | 65 | 2005 |