Alvin Cheung

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 106

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung
To Tile or not to Tile, That is the Question. IPDPS (Workshops) (2024)
Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung
Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks. CoRR (2024)
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 (2024)
Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations. Proc. VLDB Endow. 17 (9) (2024)
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 (2024)
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein
Suki: Choreographed Distributed Dataflow in Rust. CoRR (2024)
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) (2024)
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)
Linyuan Gong, Mostafa Elhoushi, Alvin Cheung
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding. CoRR (2024)
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
Verified Code Transpilation with LLMs. CoRR (2024)
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. CoRR (2024)
Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Ion Stoica, Zhijie Deng, Alvin Cheung, Hao Zhang
Online Speculative Decoding. CoRR (2023)
Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung
Code Transpilation for Hardware Accelerators. CoRR (2023)
Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein
Optimizing Stateful Dataflow with Local Rewrites. CoRR (2023)
Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ECOOP (2023)
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 (2023)
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)
Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations. CoRR (2023)
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) (2023)
Linyuan Gong, Jiayi Wang, Alvin Cheung
ADELT: Transpilation Between Deep Learning Frameworks. CoRR (2023)
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) (2023)
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)
Xiaoxuan Liu, Siddharth Jha, Chuyan Zhu, Zhuohan Li, Alvin Cheung
What is the State of Memory Saving for Model Training? CoRR (2023)
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 (2023)
Sarah 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 (2022)
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)
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 (2022)
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
Synthesizing Analytical SQL Queries from Computation Demonstration. CoRR (2022)
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
Synthesizing analytical SQL queries from computation demonstration. PLDI (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
Keep CALM and CRDT On. CoRR (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
Synthesizing CRDTs from Sequential Data Types with Verified Lifting. CoRR (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
Katara: synthesizing CRDTs with verified lifting. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Xiaoxuan Liu, Lianmin Zheng, Dequan Wang, Yukuo Cen, Weize Chen, Xu Han, Jianfei Chen, Zhiyuan Liu, Jie Tang, Joey Gonzalez, Michael Mahoney, Alvin Cheung
GACT: Activation Compressed Training for General Architectures. CoRR (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
Keep CALM and CRDT On. Proc. VLDB Endow. 16 (4) (2022)
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) (2022)
Melih Elibol, Vinamra Benara, Samyu Yagati, Lianmin Zheng, Alvin Cheung, Michael I. Jordan, Ion Stoica
NumS: Scalable Array Programming for the Cloud. CoRR (2022)
Xiaoxuan Liu, Lianmin Zheng, Dequan Wang, Yukuo Cen, Weize Chen, Xu Han, Jianfei Chen, Zhiyuan Liu, Jie Tang, Joey Gonzalez, Michael Mahoney, Alvin Cheung
GACT: Activation Compressed Training for Generic Network Architectures. ICML (2022)
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
Falx: Synthesis-Powered Visualization Authoring. CoRR (2021)
Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze
VSS: A Storage System for Video Analytics. SIGMOD Conference (2021)
Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze
VSS: A Storage System for Video Analytics [Technical Report]. CoRR (2021)
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) (2021)
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Matthew Milano
New Directions in Cloud Programming. CoRR (2021)
Xinyun Chen, Linyuan Gong, Alvin Cheung, Dawn Song
PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context. ACL/IJCNLP (1) (2021)
Alvin Cheung
A PACTful Agenda for Cloud Programming Research: (Invited Talk). DBPL (2021)
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Matthew Milano
New Directions in Cloud Programming. CIDR (2021)
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
Falx: Synthesis-Powered Visualization Authoring. CHI (2021)
Maureen Daum, Brandon Haynes, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung
TASM: A Tile-Based Storage Manager for Video Analytics. CoRR (2020)
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
Visualization by example. Proc. ACM Program. Lang. 4 (POPL) (2020)
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
Managing data constraints in database-backed web applications. ICSE (Companion Volume) (2020)
Brandon Haynes, Maureen Daum, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze
VisualWorldDB: A DBMS for the Visual World. CIDR (2020)
Xinyue Chen, Chenglong Wang, Alvin Cheung
Testing query execution engines with mutations. DBTest@SIGMOD (2020)
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
Managing data constraints in database-backed web applications. ICSE (2020)
Mingwei Samuel, Cong Yan, Alvin Cheung
Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications. SIGMOD Conference (2020)
Guna Prasaad, Alvin Cheung, Dan Suciu
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning. SIGMOD Conference (2020)
Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu
View-Driven Optimization of Database-Backed Web Applications. CIDR (2020)
Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer
Learning Programmatic Idioms for Scalable Semantic Parsing. CoRR (2019)
Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer
Learning Programmatic Idioms for Scalable Semantic Parsing. EMNLP/IJCNLP (1) (2019)
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) (2019)
Cong Yan, Alvin Cheung
Generating Application-specific Data Layouts for In-memory Databases. Proc. VLDB Endow. 12 (11) (2019)
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) (2019)
Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin
Vignette: Perceptual Compression for Video Storage and Processing Systems. CoRR (2019)
Amrita Mazumdar, Brandon Haynes, Magda Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin
Perceptual Compression for Video Storage and Processing Systems. SoCC (2019)
Brandon Haynes, Amrita Mazumdar, Magdalena Balazinska, Luis Ceze, Alvin Cheung
Visual Road: A Video Data Management Benchmark. SIGMOD Conference (2019)
Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung
View-centric performance optimization for database-backed web applications. ICSE (2019)
Amrita Mazumdar, Luis Ceze, Brandon Haynes, Alvin Cheung, Mark Oskin, Magda Balazinska
Perceptual Compression for Video Storage and Processing Systems. SoCC (2019)
Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil
Automatically translating image processing libraries to halide. ACM Trans. Graph. 38 (6) (2019)
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
Visualization by Example. CoRR (2019)
Shumo Chu, Alvin Cheung, Dan Suciu
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. CoRR (2018)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer
Mapping Language to Code in Programmatic Context. EMNLP (2018)
Brandon Haynes, Amrita Mazumdar, Armin Alaghi, Magdalena Balazinska, Luis Ceze, Alvin Cheung
LightDB: A DBMS for Virtual Reality Video. Proc. VLDB Endow. 11 (10) (2018)
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) (2018)
Guna Prasaad, Alvin Cheung, Dan Suciu
Improving High Contention OLTP Performance via Transaction Scheduling. CoRR (2018)
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)
Maaz Bin Safeer Ahmad, Alvin Cheung
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. SIGMOD Conference (2018)
Tomer Kaftan, Magdalena Balazinska, Alvin Cheung, Johannes Gehrke
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing. CoRR (2018)
Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung
to structure your database-backed web applications: a study of performance bugs in the wild. ICSE (2018)
Maaz Bin Safeer Ahmad, Alvin Cheung
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. CoRR (2018)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer
Mapping Language to Code in Programmatic Context. CoRR (2018)
Chenglong Wang, Alvin Cheung, Rastislav Bodík
Speeding up symbolic reasoning for relational queries. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung
Cosette: An Automated Prover for SQL. CIDR (2017)
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) (2017)
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
HoTTSQL: proving query rewrites with univalent SQL semantics. PLDI (2017)
Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu
Understanding Database Performance Inefficiencies in Real-world Web Applications. CIKM (2017)
Maaz Bin Safeer Ahmad, Alvin Cheung
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks. SIGMOD Conference (2017)
Chenglong Wang, Alvin Cheung, Rastislav Bodík
Interactive Query Synthesis from Input-Output Examples. SIGMOD Conference (2017)
Brandon Haynes, Artem Minyaylov, Magdalena Balazinska, Luis Ceze, Alvin Cheung
VisualCloud Demonstration: A DBMS for Virtual Reality. SIGMOD Conference (2017)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer
Learning a Neural Semantic Parser from User Feedback. ACL (1) (2017)
Magdalena Balazinska, Luis Ceze, Alvin Cheung, Brian Curless, Steven M. Seitz
A Visual Cloud for Virtual Reality Applications. CIDR (2017)
Chenglong Wang, Alvin Cheung, Rastislav Bodík
Synthesizing highly expressive SQL queries from input-output examples. PLDI (2017)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer
Learning a Neural Semantic Parser from User Feedback. CoRR (2017)
Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu
Demonstration of the Cosette Automated SQL Prover. SIGMOD Conference (2017)
Alvin Cheung, Armando Solar-Lezama
Computer-Assisted Query Formulation. Found. Trends Program. Lang. 3 (1) (2016)
Alvin Cheung, Samuel Madden, Armando Solar-Lezama
Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). ACM Trans. Database Syst. 41 (2) (2016)
Brandon Haynes, Alvin Cheung, Magdalena Balazinska
PipeGen: Data Pipe Generator for Hybrid Analytics. CoRR (2016)
Cong Yan, Alvin Cheung
Leveraging Lock Contention to Improve OLTP Application Performance. Proc. VLDB Endow. 9 (5) (2016)
Maaz Bin Safeer Ahmad, Alvin Cheung
Leveraging Parallel Data Processing Frameworks with Verified Lifting. SYNT@CAV (2016)
Brandon Haynes, Alvin Cheung, Magdalena Balazinska
PipeGen: Data Pipe Generator for Hybrid Analytics. SoCC (2016)
Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu
Database-Backed Applications in the Wild: How Well Do They Work? CoRR (2016)
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)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer
Summarizing Source Code using a Neural Attention Model. ACL (1) (2016)

Alvin Cheung.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alvin Cheung