Follow
Alvin Cheung
Alvin Cheung
Associate Professor, UC Berkeley
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Summarizing source code using a neural attention model
S Iyer, I Konstas, A Cheung, L Zettlemoyer
Proceedings of the 54th Annual Meeting of the Association for Computational …, 2016
6042016
Learning a neural semantic parser from user feedback
S Iyer, I Konstas, A Cheung, J Krishnamurthy, L Zettlemoyer
arXiv preprint arXiv:1704.08760, 2017
3042017
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
2472016
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
1982017
Optimizing database-backed applications with query synthesis
A Cheung, A Solar-Lezama, S Madden
ACM SIGPLAN Notices 48 (6), 3-14, 2013
1642013
Mapping language to code in programmatic context
S Iyer, I Konstas, A Cheung, L Zettlemoyer
arXiv preprint arXiv:1808.09588, 2018
1242018
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
1132012
Towards traceability across sovereign, distributed RFID databases
R Agrawal, A Cheung, K Kailing, S Schonauer
2006 10th International Database Engineering and Applications Symposium …, 2006
1032006
Automatic partitioning of database applications
A Cheung, O Arden, S Madden, AC Myers
arXiv preprint arXiv:1208.0271, 2012
922012
Verified lifting of stencil computations
S Kamil, A Cheung, S Itzhaky, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 711-726, 2016
792016
HoTTSQL: Proving query rewrites with univalent SQL semantics
S Chu, K Weitz, A Cheung, D Suciu
ACM SIGPLAN Notices 52 (6), 510-524, 2017
772017
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 2017
762017
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
722016
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
712020
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
712016
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
652016
Leveraging lock contention to improve OLTP application performance
C Yan, A Cheung
Proceedings of the VLDB Endowment 9 (5), 444-455, 2016
632016
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
632005
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
602018
Automatically leveraging mapreduce frameworks for data-intensive applications
MBS Ahmad, A Cheung
Proceedings of the 2018 International Conference on Management of Data, 1205 …, 2018
452018
The system can't perform the operation now. Try again later.
Articles 1–20