Alvin Cheung
Alvin Cheung
Associate Professor, UC Berkeley
Verified email at - Homepage
Cited by
Cited by
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
Learning a neural semantic parser from user feedback
S Iyer, I Konstas, A Cheung, J Krishnamurthy, L Zettlemoyer
arXiv preprint arXiv:1704.08760, 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
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
Mapping language to code in programmatic context
S Iyer, I Konstas, A Cheung, L Zettlemoyer
arXiv preprint arXiv:1808.09588, 2018
Optimizing database-backed applications with query synthesis
A Cheung, A Solar-Lezama, S Madden
ACM SIGPLAN Notices 48 (6), 3-14, 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
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
Towards traceability across sovereign, distributed RFID databases
R Agrawal, A Cheung, K Kailing, S Schonauer
2006 10th International Database Engineering and Applications Symposium …, 2006
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 2017
Verified lifting of stencil computations
S Kamil, A Cheung, S Itzhaky, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 711-726, 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
Automatic partitioning of database applications
A Cheung, O Arden, S Madden, AC Myers
arXiv preprint arXiv:1208.0271, 2012
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
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
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
Leveraging lock contention to improve OLTP application performance
C Yan, A Cheung
Proceedings of the VLDB Endowment 9 (5), 444-455, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20