default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlvin Cheung
Person information
- affiliation: UC Berkeley, CA, USA
- affiliation (former): University of Washington, Seattle
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). Dagstuhl Artifacts Ser. 10(2): 17:1-17:2 (2024)- [j24]Gabriel Matute
, Wode Ni, Titus Barik, Alvin Cheung, Sarah E. Chasins:
Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments. Proc. ACM Program. Lang. 8(PLDI): 2051-2072 (2024) - [j23]Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung:
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations. Proc. VLDB Endow. 17(9): 2136-2148 (2024) - [j22]Shuxian Wang, Sicheng Pan, Alvin Cheung:
QED: A Powerful Query Equivalence Decider for SQL. Proc. VLDB Endow. 17(11): 3602-3614 (2024) - [c64]Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. ECOOP 2024: 32:1-32:28 - [c63]Linyuan Gong, Mostafa Elhoushi, Alvin Cheung:
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding. ICML 2024 - [c62]Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung:
Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks. ICML 2024 - [c61]Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang:
Online Speculative Decoding. ICML 2024 - [c60]Linyuan Gong, Jiayi Wang, Alvin Cheung:
ADELT: Transpilation between Deep Learning Frameworks. IJCAI 2024: 6279-6287 - [c59]Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung:
To Tile or not to Tile, That is the Question. IPDPS (Workshops) 2024: 449-458 - [c58]Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen:
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. NAACL-HLT 2024: 6218-6236 - [i44]Linyuan Gong, Mostafa Elhoushi, Alvin Cheung:
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding. CoRR abs/2401.03003 (2024) - [i43]Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung:
Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks. CoRR abs/2403.04814 (2024) - [i42]Tyler Griggs, Xiaoxuan Liu, Jiaxiang Yu, Doyoung Kim, Wei-Lin Chiang, Alvin Cheung, Ion Stoica:
M\'elange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity. CoRR abs/2404.14527 (2024) - [i41]Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. CoRR abs/2404.18249 (2024) - [i40]Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Verified Code Transpilation with LLMs. CoRR abs/2406.03003 (2024) - [i39]Xiaoxuan Liu, Cade Daniel, Langxiang Hu, Woosuk Kwon, Zhuohan Li, Xiangxi Mo, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang:
Optimizing Speculative Decoding for Serving Large Language Models Using Goodput. CoRR abs/2406.14066 (2024) - [i38]Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein:
Suki: Choreographed Distributed Dataflow in Rust. CoRR abs/2406.14733 (2024) - [i37]Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao:
LLM-Aided Compilation for Tensor Accelerators. CoRR abs/2408.03408 (2024) - 2023
- [j21]Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung:
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. Proc. VLDB Endow. 16(6): 1208-1221 (2023) - [j20]Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan:
Towards Auto-Generated Data Systems. Proc. VLDB Endow. 16(12): 4116-4129 (2023) - [c57]Linyuan Gong, Chenyan Xiong, Xiaodong Liu, Payal Bajaj, Yiqing Xie, Alvin Cheung, Jianfeng Gao, Xia Song:
Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers. ACL (1) 2023: 12933-12950 - [c56]Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung:
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ECOOP 2023: 38:1-38:30 - [c55]Yixiao Lu, Yokiu Lee, Haoran Feng, Johnathan Leung, Alvin Cheung, Katharina Dost, Katerina Taskova, Thomas Lacombe:
Interpretability Meets Generalizability: A Hybrid Machine Learning System to Identify Nonlinear Granger Causality in Global Stock Indices. PAKDD (2) 2023: 322-334 - [i36]Linyuan Gong, Jiayi Wang, Alvin Cheung:
ADELT: Transpilation Between Deep Learning Frameworks. CoRR abs/2303.03593 (2023) - [i35]Xiaoxuan Liu, Siddharth Jha, Chuyan Zhu, Zhuohan Li, Alvin Cheung:
What is the State of Memory Saving for Model Training? CoRR abs/2303.14633 (2023) - [i34]Linyuan Gong, Chenyan Xiong, Xiaodong Liu, Payal Bajaj, Yiqing Xie, Alvin Cheung, Jianfeng Gao, Xia Song:
Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers. CoRR abs/2305.12567 (2023) - [i33]Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen:
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. CoRR abs/2305.18513 (2023) - [i32]Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein:
Optimizing Stateful Dataflow with Local Rewrites. CoRR abs/2306.10585 (2023) - [i31]Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung:
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations. CoRR abs/2308.03276 (2023) - [i30]Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung:
Code Transpilation for Hardware Accelerators. CoRR abs/2308.06410 (2023) - [i29]Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Ion Stoica, Zhijie Deng, Alvin Cheung, Hao Zhang:
Online Speculative Decoding. CoRR abs/2310.07177 (2023) - 2022
- [j19]Daniel Abadi, Anastasia Ailamaki, David G. Andersen, Peter Bailis, Magdalena Balazinska, Philip A. Bernstein, Peter A. Boncz, Surajit Chaudhuri, Alvin Cheung, AnHai Doan, Luna Dong, Michael J. Franklin, Juliana Freire, Alon Y. Halevy, Joseph M. Hellerstein, Stratos Idreos, Donald Kossmann, Tim Kraska, Sailesh Krishnamurthy, Volker Markl, Sergey Melnik, Tova Milo, C. Mohan, Thomas Neumann, Beng Chin Ooi, Fatma Ozcan, Jignesh M. Patel, Andrew Pavlo, Raluca A. Popa, Raghu Ramakrishnan, Christopher Ré, Michael Stonebraker, Dan Suciu:
The Seattle report on database research. Commun. ACM 65(8): 72-79 (2022) - [j18]Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein:
Katara: synthesizing CRDTs with verified lifting. Proc. ACM Program. Lang. 6(OOPSLA2): 1349-1377 (2022) - [j17]Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein:
Keep CALM and CRDT On. Proc. VLDB Endow. 16(4): 856-863 (2022) - [c54]Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung:
Vector instruction selection for digital signal processors using program synthesis. ASPLOS 2022: 1004-1016 - [c53]Xiaoxuan Liu, Lianmin Zheng, Dequan Wang, Yukuo Cen, Weize Chen, Xu Han, Jianfei Chen, Zhiyuan Liu, Jie Tang, Joey Gonzalez, Michael W. Mahoney, Alvin Cheung:
GACT: Activation Compressed Training for Generic Network Architectures. ICML 2022: 14139-14152 - [c52]Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang:
Synthesizing analytical SQL queries from computation demonstration. PLDI 2022: 168-182 - [i28]Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang:
Synthesizing Analytical SQL Queries from Computation Demonstration. CoRR abs/2204.07102 (2022) - [i27]Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sharon Lee, Sicheng Pan, Joshua Wu, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung:
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. CoRR abs/2205.02954 (2022) - [i26]Sarah E. Chasins, Alvin Cheung, Natacha Crooks, Ali Ghodsi, Ken Goldberg, Joseph E. Gonzalez, Joseph M. Hellerstein, Michael I. Jordan, Anthony D. Joseph, Michael W. Mahoney, Aditya G. Parameswaran, David A. Patterson, Raluca Ada Popa, Koushik Sen, Scott Shenker, Dawn Song, Ion Stoica:
The Sky Above The Clouds. CoRR abs/2205.07147 (2022) - [i25]Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein:
Synthesizing CRDTs from Sequential Data Types with Verified Lifting. CoRR abs/2205.12425 (2022) - [i24]Xiaoxuan Liu, Lianmin Zheng, Dequan Wang, Yukuo Cen, Weize Chen, Xu Han, Jianfei Chen, Zhiyuan Liu, Jie Tang, Joey Gonzalez, Michael W. Mahoney, Alvin Cheung:
GACT: Activation Compressed Training for General Architectures. CoRR abs/2206.11357 (2022) - [i23]Melih Elibol, Vinamra Benara, Samyu Yagati, Lianmin Zheng, Alvin Cheung, Michael I. Jordan, Ion Stoica:
NumS: Scalable Array Programming for the Cloud. CoRR abs/2206.14276 (2022) - [i22]Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein:
Keep CALM and CRDT On. CoRR abs/2210.12605 (2022) - 2021
- [j16]Vanessa Lin, Yongming Ge, Maureen Daum, Alvin Cheung, Brandon Haynes, Magdalena Balazinska:
Demonstration of Apperception: A Database Management System for Geospatial Video Data. Proc. VLDB Endow. 14(12): 2767-2770 (2021) - [c51]Xinyun Chen, Linyuan Gong, Alvin Cheung, Dawn Song:
PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context. ACL/IJCNLP (1) 2021: 2169-2181 - [c50]Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CHI 2021: 106:1-106:15 - [c49]Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano:
New Directions in Cloud Programming. CIDR 2021 - [c48]Alvin Cheung:
A PACTful Agenda for Cloud Programming Research: (Invited Talk). DBPL 2021: 1 - [c47]Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze:
VSS: A Storage System for Video Analytics. SIGMOD Conference 2021: 685-696 - [i21]Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano:
New Directions in Cloud Programming. CoRR abs/2101.01159 (2021) - [i20]Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CoRR abs/2102.01024 (2021) - [i19]Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze:
VSS: A Storage System for Video Analytics [Technical Report]. CoRR abs/2103.16604 (2021) - 2020
- [j15]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig:
Visualization by example. Proc. ACM Program. Lang. 4(POPL): 49:1-49:28 (2020) - [c46]Brandon Haynes, Maureen Daum, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze:
VisualWorldDB: A DBMS for the Visual World. CIDR 2020 - [c45]Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu:
View-Driven Optimization of Database-Backed Web Applications. CIDR 2020 - [c44]Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu:
Managing data constraints in database-backed web applications. ICSE (Companion Volume) 2020: 302-303 - [c43]Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu:
Managing data constraints in database-backed web applications. ICSE 2020: 1098-1109 - [c42]Xinyue Chen, Chenglong Wang, Alvin Cheung:
Testing query execution engines with mutations. DBTest@SIGMOD 2020: 6:1-6:5 - [c41]Guna Prasaad, Alvin Cheung, Dan Suciu:
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning. SIGMOD Conference 2020: 527-542 - [c40]Mingwei Samuel, Cong Yan, Alvin Cheung:
Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications. SIGMOD Conference 2020: 2813-2816 - [i18]Maureen Daum, Brandon Haynes, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung:
TASM: A Tile-Based Storage Manager for Video Analytics. CoRR abs/2006.02958 (2020)
2010 – 2019
- 2019
- [j14]Cong Yan, Alvin Cheung:
Generating Application-specific Data Layouts for In-memory Databases. Proc. VLDB Endow. 12(11): 1513-1525 (2019) - [j13]Daniel Abadi, Anastasia Ailamaki, David G. Andersen, Peter Bailis, Magdalena Balazinska, Philip A. Bernstein, Peter A. Boncz, Surajit Chaudhuri, Alvin Cheung, AnHai Doan, Luna Dong, Michael J. Franklin, Juliana Freire, Alon Y. Halevy, Joseph M. Hellerstein, Stratos Idreos, Donald Kossmann, Tim Kraska, Sailesh Krishnamurthy, Volker Markl, Sergey Melnik, Tova Milo, C. Mohan, Thomas Neumann, Beng Chin Ooi, Fatma Ozcan, Jignesh M. Patel, Andrew Pavlo, Raluca A. Popa, Raghu Ramakrishnan, Christopher Ré, Michael Stonebraker, Dan Suciu:
The Seattle Report on Database Research. SIGMOD Rec. 48(4): 44-53 (2019) - [j12]Max Willsey, Vincent T. Lee, Alvin Cheung, Rastislav Bodík, Luis Ceze:
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(3): 407-418 (2019) - [j11]Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil:
Automatically translating image processing libraries to halide. ACM Trans. Graph. 38(6): 204:1-204:13 (2019) - [c39]Amrita Mazumdar, Brandon Haynes, Magda Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin:
Perceptual Compression for Video Storage and Processing Systems. SoCC 2019: 179-192 - [c38]Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer:
Learning Programmatic Idioms for Scalable Semantic Parsing. EMNLP/IJCNLP (1) 2019: 5425-5434 - [c37]Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung:
View-centric performance optimization for database-backed web applications. ICSE 2019: 994-1004 - [c36]Brandon Haynes, Amrita Mazumdar, Magdalena Balazinska, Luis Ceze, Alvin Cheung:
Visual Road: A Video Data Management Benchmark. SIGMOD Conference 2019: 972-987 - [e2]Alvin Cheung, Kim Nguyen:
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, Phoenix, AZ, USA, June 23, 2019. ACM 2019, ISBN 978-1-4503-6718-9 [contents] - [i17]Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin:
Vignette: Perceptual Compression for Video Storage and Processing Systems. CoRR abs/1902.01372 (2019) - [i16]Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer:
Learning Programmatic Idioms for Scalable Semantic Parsing. CoRR abs/1904.09086 (2019) - [i15]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig:
Visualization by Example. CoRR abs/1911.09668 (2019) - 2018
- [j10]Chenglong Wang, Alvin Cheung, Rastislav Bodík:
Speeding up symbolic reasoning for relational queries. Proc. ACM Program. Lang. 2(OOPSLA): 157:1-157:25 (2018) - [j9]Brandon Haynes, Amrita Mazumdar, Armin Alaghi, Magdalena Balazinska, Luis Ceze, Alvin Cheung:
LightDB: A DBMS for Virtual Reality Video. Proc. VLDB Endow. 11(10): 1192-1205 (2018) - [j8]Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu:
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. Proc. VLDB Endow. 11(11): 1482-1495 (2018) - [c35]Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer:
Mapping Language to Code in Programmatic Context. EMNLP 2018: 1643-1652 - [c34]Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung:
How not to structure your database-backed web applications: a study of performance bugs in the wild. ICSE 2018: 800-810 - [c33]Maaz Bin Safeer Ahmad, Alvin Cheung:
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. SIGMOD Conference 2018: 1205-1220 - [c32]Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung:
PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE. ESEC/SIGSOFT FSE 2018: 884-887 - [e1]Justin Gottschlich, Alvin Cheung:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. ACM 2018 [contents] - [i14]Maaz Bin Safeer Ahmad, Alvin Cheung:
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. CoRR abs/1801.09802 (2018) - [i13]Shumo Chu, Alvin Cheung, Dan Suciu:
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. CoRR abs/1802.02229 (2018) - [i12]Tomer Kaftan, Magdalena Balazinska, Alvin Cheung, Johannes Gehrke:
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing. CoRR abs/1802.09180 (2018) - [i11]Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer:
Mapping Language to Code in Programmatic Context. CoRR abs/1808.09588 (2018) - [i10]Guna Prasaad, Alvin Cheung, Dan Suciu:
Improving High Contention OLTP Performance via Transaction Scheduling. CoRR abs/1810.01997 (2018) - 2017
- [j7]Parmita Mehta, Sven Dorkenwald, Dongfang Zhao, Tomer Kaftan, Alvin Cheung, Magdalena Balazinska, Ariel Rokem, Andrew J. Connolly, Jacob VanderPlas, Yusra AlSayyad:
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads. Proc. VLDB Endow. 10(11): 1226-1237 (2017) - [c31]Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer:
Learning a Neural Semantic Parser from User Feedback. ACL (1) 2017: 963-973 - [c30]Magdalena Balazinska, Luis Ceze, Alvin Cheung, Brian Curless, Steven M. Seitz:
A Visual Cloud for Virtual Reality Applications. CIDR 2017 - [c29]Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung:
Cosette: An Automated Prover for SQL. CIDR 2017 - [c28]Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu:
Understanding Database Performance Inefficiencies in Real-world Web Applications. CIKM 2017: 1299-1308 - [c27]Chenglong Wang, Alvin Cheung, Rastislav Bodík:
Synthesizing highly expressive SQL queries from input-output examples. PLDI 2017: 452-466 - [c26]Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu:
HoTTSQL: proving query rewrites with univalent SQL semantics. PLDI 2017: 510-524 - [c25]Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu:
Demonstration of the Cosette Automated SQL Prover. SIGMOD Conference 2017: 1591-1594 - [c24]Brandon Haynes, Artem Minyaylov, Magdalena Balazinska, Luis Ceze, Alvin Cheung:
VisualCloud Demonstration: A DBMS for Virtual Reality. SIGMOD Conference 2017: 1615-1618 - [c23]Chenglong Wang, Alvin Cheung, Rastislav Bodík:
Interactive Query Synthesis from Input-Output Examples. SIGMOD Conference 2017: 1631-1634 - [c22]Maaz Bin Safeer Ahmad, Alvin Cheung:
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks. SIGMOD Conference 2017: 1675-1678 - [i9]Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer:
Learning a Neural Semantic Parser from User Feedback. CoRR abs/1704.08760 (2017) - 2016
- [j6]Alvin Cheung, Armando Solar-Lezama:
Computer-Assisted Query Formulation. Found. Trends Program. Lang. 3(1): 1-94 (2016) - [j5]Cong Yan, Alvin Cheung:
Leveraging Lock Contention to Improve OLTP Application Performance. Proc. VLDB Endow. 9(5): 444-455 (2016) - [j4]Alvin Cheung, Samuel Madden, Armando Solar-Lezama:
Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). ACM Trans. Database Syst. 41(2): 8:1-8:42 (2016) - [c21]Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer:
Summarizing Source Code using a Neural Attention Model. ACL (1) 2016 - [c20]Brandon Haynes, Alvin Cheung, Magdalena Balazinska:
PipeGen: Data Pipe Generator for Hybrid Analytics. SoCC 2016: 470-483 - [c19]Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama:
Verified lifting of stencil computations. PLDI 2016: 711-726 - [c18]Anirudh Sivaraman, Alvin Cheung, Mihai Budiu, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking:
Packet Transactions: High-Level Programming for Line-Rate Switches. SIGCOMM 2016: 15-28 - [c17]Maaz Bin Safeer Ahmad, Alvin Cheung:
Leveraging Parallel Data Processing Frameworks with Verified Lifting. SYNT@CAV 2016: 67-83 - [i8]Brandon Haynes, Alvin Cheung, Magdalena Balazinska:
PipeGen: Data Pipe Generator for Hybrid Analytics. CoRR abs/1605.01664 (2016) - [i7]Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu:
Database-Backed Applications in the Wild: How Well Do They Work? CoRR abs/1607.02561 (2016) - [i6]Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu:
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics. CoRR abs/1607.04822 (2016) - [i5]Parmita Mehta, Sven Dorkenwald, Dongfang Zhao, Tomer Kaftan, Alvin Cheung, Magdalena Balazinska, Ariel Rokem, Andrew J. Connolly, Jacob VanderPlas, Yusra AlSayyad:
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads. CoRR abs/1612.02485 (2016) - 2015
- [b1]Alvin Cheung:
Rethinking the application-database interface. Massachusetts Institute of Technology, Cambridge, MA, USA, 2015 - [c16]Alvin Cheung:
Towards Generating Application-Specific Data Management Systems. CIDR 2015 - [c15]Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama:
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. SNAPL 2015: 51-62 - [i4]Anirudh Sivaraman, Mihai Budiu, Alvin Cheung, Changhoon Kim, Steve Licking, George Varghese, Hari Balakrishnan, Mohammad Alizadeh, Nick McKeown:
Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed. CoRR abs/1512.05023 (2015) - 2014
- [j3]Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers:
Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. 37(1): 48-59 (2014) - [c14]Alvin Cheung:
Rethinking the application-database interface. PSFW@HPDC 2014: 1-2 - [c13]Alvin Cheung, Samuel Madden, Armando Solar-Lezama:
Sloth: being lazy is a virtue (when issuing database queries). SIGMOD Conference 2014: 931-942 - 2013
- [c12]Alvin Cheung, Lenin Ravindranath, Eugene Wu, Samuel Madden, Hari Balakrishnan:
Mobile applications need targeted micro-updates. APSys 2013: 8:1-8:6 - [c11]Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers:
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR 2013 - [c10]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Optimizing database-backed applications with query synthesis. PLDI 2013: 3-14 - [c9]Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers:
Speeding up database applications with Pyxis. SIGMOD Conference 2013: 969-972 - 2012
- [j2]Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers:
Automatic Partitioning of Database Applications. Proc. VLDB Endow. 5(11): 1471-1482 (2012) - [c8]Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek:
Undefined behavior: what happened to my code? APSys 2012: 9 - [c7]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Using program synthesis for social recommendations. CIKM 2012: 1732-1736 - [i3]Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers:
Automatic Partitioning of Database Applications. CoRR abs/1208.0271 (2012) - [i2]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Inferring SQL Queries Using Program Synthesis. CoRR abs/1208.2013 (2012) - [i1]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Using Program Synthesis for Social Recommendations. CoRR abs/1208.2925 (2012) - 2011
- [c6]Alvin Cheung, Arvind Thiagarajan, Samuel Madden:
Automatically generating interesting events with LifeJoin. SenSys 2011: 411-412 - [c5]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Partial replay of long-running applications. SIGSOFT FSE 2011: 135-145
2000 – 2009
- 2008
- [j1]Alvin Cheung, Samuel Madden:
Performance profiling with EndoScope, an acquisitional software monitoring framework. Proc. VLDB Endow. 1(1): 42-53 (2008) - 2007
- [c4]Alvin Cheung, Karin Kailing, Stefan Schönauer:
Theseos: A Query Engine for Traceability across Sovereign, Distributed RFID Databases. ICDE 2007: 1495-1496 - [c3]Alvin Cheung, Tyrone Grandison, Christopher M. Johnson, Stefan Schönauer:
Ïnfïnïty: a generic platform for application development and information sharing on mobile devices. MobiDE 2007: 25-32 - 2006
- [c2]Rakesh Agrawal, Alvin Cheung, Karin Kailing, Stefan Schönauer:
Towards Traceability across Sovereign, Distributed RFID Databases. IDEAS 2006: 174-184 - 2005
- [c1]Dinesh Patil, Sunghee Yun, Seung-Jean Kim, Alvin Cheung, Mark Horowitz, Stephen P. Boyd:
A New Method for Design of Robust Digital Circuits. ISQED 2005: 676-681
Coauthor Index
Magdalena Balazinska
aka: Magda Balazinska
aka: Magda Balazinska
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
