A New Method for Design of Robust Digital Circuits. - Dinesh Patil; Sunghee Yun; Seung-Jean Kim; Alvin Cheung; Mark Horowitz; Stephen P. Boyd (ISQED, 2005)

Towards Traceability across Sovereign, Distributed RFID Databases. - Rakesh Agrawal 001; Alvin Cheung; Karin Kailing; Stefan Schönauer (IDEAS, 2006)

Theseos: A Query Engine for Traceability across Sovereign, Distributed RFID Databases. - Alvin Cheung; Karin Kailing; Stefan Schönauer (ICDE, 2007)

Ïnfïnïty: a generic platform for application development and information sharing on mobile devices. - Alvin Cheung; Tyrone Grandison; Christopher M. Johnson; Stefan Schönauer (MobiDE, 2007)

Performance profiling with EndoScope, an acquisitional software monitoring framework. - Alvin Cheung; Samuel Madden 001 (Proc. VLDB Endow., 2008)

Automatically generating interesting events with LifeJoin. - Alvin Cheung; Arvind Thiagarajan; Samuel Madden 001 (SenSys, 2011)

Partial replay of long-running applications. - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (SIGSOFT FSE, 2011)

Undefined behavior: what happened to my code? - Xi Wang 005; Haogang Chen 001; Alvin Cheung; Zhihao Jia; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2012)

Using program synthesis for social recommendations. - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (CIKM, 2012)

Inferring SQL Queries Using Program Synthesis - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (CoRR, 2012)

Automatic Partitioning of Database Applications. - Alvin Cheung; Owen Arden; Samuel Madden 001; Andrew C. Myers (Proc. VLDB Endow., 2012)

Mobile applications need targeted micro-updates. - Alvin Cheung; Lenin Ravindranath; Eugene Wu 002; Samuel Madden 001; Hari Balakrishnan (APSys, 2013)

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Armando Solar-Lezama; Andrew C. Myers (CIDR, 2013)

Optimizing database-backed applications with query synthesis. - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (PLDI, 2013)

Speeding up database applications with Pyxis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Andrew C. Myers (SIGMOD Conference, 2013)

Rethinking the application-database interface. - Alvin Cheung (PSFW@HPDC, 2014)

Using Program Analysis to Improve Database Applications. - Alvin Cheung; Samuel Madden 001; Armando Solar-Lezama; Owen Arden; Andrew C. Myers (IEEE Data Eng. Bull., 2014)

Towards Generating Application-Specific Data Management Systems. - Alvin Cheung (CIDR, 2015)

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. - Alvin Cheung; Shoaib Kamil 001; Armando Solar-Lezama (SNAPL, 2015)

Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed. - Anirudh Sivaraman; Mihai Budiu; Alvin Cheung; Changhoon Kim; Steve Licking; George Varghese; Hari Balakrishnan; Mohammad Alizadeh; Nick McKeown (CoRR, 2015)

Rethinking the application-database interface. - Alvin Cheung (2015)

Summarizing Source Code using a Neural Attention Model. - Srinivasan Iyer 001; Ioannis Konstas; Alvin Cheung; Luke Zettlemoyer (ACL (1), 2016)

PipeGen: Data Pipe Generator for Hybrid Analytics. - Brandon Haynes; Alvin Cheung; Magdalena Balazinska (SoCC, 2016)

Verified lifting of stencil computations. - Shoaib Kamil 001; Alvin Cheung; Shachar Itzhaky; Armando Solar-Lezama (PLDI, 2016)

Packet Transactions: High-Level Programming for Line-Rate Switches. - Anirudh Sivaraman; Alvin Cheung; Mihai Budiu; Changhoon Kim; Mohammad Alizadeh; Hari Balakrishnan; George Varghese; Nick McKeown; Steve Licking (SIGCOMM, 2016)

Leveraging Parallel Data Processing Frameworks with Verified Lifting. - Maaz Bin Safeer Ahmad; Alvin Cheung (SYNT@CAV, 2016)

Database-Backed Applications in the Wild: How Well Do They Work? - Cong Yan; Zewei Chu; Alvin Cheung; Shan Lu 001 (CoRR, 2016)

Computer-Assisted Query Formulation. - Alvin Cheung; Armando Solar-Lezama (Found. Trends Program. Lang., 2016)

Leveraging Lock Contention to Improve OLTP Application Performance. - Cong Yan; Alvin Cheung (Proc. VLDB Endow., 2016)

Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). - Alvin Cheung; Samuel Madden 001; Armando Solar-Lezama (ACM Trans. Database Syst., 2016)

Learning a Neural Semantic Parser from User Feedback. - Srinivasan Iyer 001; Ioannis Konstas; Alvin Cheung; Jayant Krishnamurthy; Luke Zettlemoyer (ACL (1), 2017)

A Visual Cloud for Virtual Reality Applications. - Magdalena Balazinska; Luis Ceze; Alvin Cheung; Brian Curless; Steven M. Seitz (CIDR, 2017)

Cosette: An Automated Prover for SQL. - Shumo Chu; Chenglong Wang; Konstantin Weitz; Alvin Cheung (CIDR, 2017)

Understanding Database Performance Inefficiencies in Real-world Web Applications. - Cong Yan; Alvin Cheung; Junwen Yang; Shan Lu 001 (CIKM, 2017)

HoTTSQL: proving query rewrites with univalent SQL semantics. - Shumo Chu; Konstantin Weitz; Alvin Cheung; Dan Suciu (PLDI, 2017)

Synthesizing highly expressive SQL queries from input-output examples. - Chenglong Wang; Alvin Cheung; Rastislav Bodík (PLDI, 2017)

Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks. - Maaz Bin Safeer Ahmad; Alvin Cheung (SIGMOD Conference, 2017)

Demonstration of the Cosette Automated SQL Prover. - Shumo Chu; Daniel Li; Chenglong Wang; Alvin Cheung; Dan Suciu (SIGMOD Conference, 2017)

VisualCloud Demonstration: A DBMS for Virtual Reality. - Brandon Haynes; Artem Minyaylov; Magdalena Balazinska; Luis Ceze; Alvin Cheung (SIGMOD Conference, 2017)

Interactive Query Synthesis from Input-Output Examples. - Chenglong Wang; Alvin Cheung; Rastislav Bodík (SIGMOD Conference, 2017)

Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads. - Parmita Mehta; Sven Dorkenwald; Dongfang Zhao 001; Tomer Kaftan; Alvin Cheung; Magdalena Balazinska; Ariel Rokem; Andrew J. Connolly; Jacob VanderPlas; Yusra AlSayyad (Proc. VLDB Endow., 2017)

Mapping Language to Code in Programmatic Context. - Srinivasan Iyer 001; Ioannis Konstas; Alvin Cheung; Luke Zettlemoyer (EMNLP, 2018)

How not to structure your database-backed web applications: a study of performance bugs in the wild. - Junwen Yang; Pranav Subramaniam; Shan Lu 001; Cong Yan; Alvin Cheung (ICSE, 2018)

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. - Maaz Bin Safeer Ahmad; Alvin Cheung (SIGMOD Conference, 2018)

PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE. - Junwen Yang; Cong Yan; Pranav Subramaniam; Shan Lu 001; Alvin Cheung (ESEC/SIGSOFT FSE, 2018)

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. - Shumo Chu; Alvin Cheung; Dan Suciu (CoRR, 2018)

Cuttlefish: A Lightweight Primitive for Adaptive Query Processing. - Tomer Kaftan; Magdalena Balazinska; Alvin Cheung; Johannes Gehrke (CoRR, 2018)

Improving High Contention OLTP Performance via Transaction Scheduling. - Guna Prasaad; Alvin Cheung; Dan Suciu (CoRR, 2018)

Speeding up symbolic reasoning for relational queries. - Chenglong Wang; Alvin Cheung; Rastislav Bodík (Proc. ACM Program. Lang., 2018)

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. - Shumo Chu; Brendan Murphy; Jared Roesch; Alvin Cheung; Dan Suciu (Proc. VLDB Endow., 2018)

LightDB: A DBMS for Virtual Reality Video. - Brandon Haynes; Amrita Mazumdar; Armin Alaghi; Magdalena Balazinska; Luis Ceze; Alvin Cheung (Proc. VLDB Endow., 2018)

Perceptual Compression for Video Storage and Processing Systems. - Amrita Mazumdar; Brandon Haynes; Magda Balazinska; Luis Ceze; Alvin Cheung; Mark Oskin (SoCC, 2019)

Learning Programmatic Idioms for Scalable Semantic Parsing. - Srinivasan Iyer 001; Alvin Cheung; Luke Zettlemoyer (EMNLP/IJCNLP (1), 2019)

View-centric performance optimization for database-backed web applications. - Junwen Yang; Cong Yan; Chengcheng Wan 001; Shan Lu 001; Alvin Cheung (ICSE, 2019)

Visual Road: A Video Data Management Benchmark. - Brandon Haynes; Amrita Mazumdar; Magdalena Balazinska; Luis Ceze; Alvin Cheung (SIGMOD Conference, 2019)

Vignette: Perceptual Compression for Video Storage and Processing Systems. - Amrita Mazumdar; Brandon Haynes; Magdalena Balazinska; Luis Ceze; Alvin Cheung; Mark Oskin (CoRR, 2019)

Generating Application-specific Data Layouts for In-memory Databases. - Cong Yan; Alvin Cheung (Proc. VLDB Endow., 2019)

The Seattle Report on Database Research. - 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; et al. (SIGMOD Rec., 2019)

Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. - Max Willsey; Vincent T. Lee; Alvin Cheung; Rastislav Bodík; Luis Ceze (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Automatically translating image processing libraries to halide. - Maaz Bin Safeer Ahmad; Jonathan Ragan-Kelley; Alvin Cheung; Shoaib Kamil 001 (ACM Trans. Graph., 2019)

VisualWorldDB: A DBMS for the Visual World. - Brandon Haynes; Maureen Daum; Amrita Mazumdar; Magdalena Balazinska; Alvin Cheung; Luis Ceze (CIDR, 2020)

View-Driven Optimization of Database-Backed Web Applications. - Cong Yan; Alvin Cheung; Junwen Yang; Shan Lu 001 (CIDR, 2020)

Managing data constraints in database-backed web applications. - Junwen Yang; Utsav Sethi; Cong Yan; Alvin Cheung; Shan Lu 001 (ICSE, 2020)

Testing query execution engines with mutations. - Xinyue Chen; Chenglong Wang; Alvin Cheung (DBTest@SIGMOD, 2020)

Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning. - Guna Prasaad; Alvin Cheung; Dan Suciu (SIGMOD Conference, 2020)

Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications. - Mingwei Samuel; Cong Yan; Alvin Cheung (SIGMOD Conference, 2020)

TASM: A Tile-Based Storage Manager for Video Analytics. - Maureen Daum; Brandon Haynes; Dong He 002; Amrita Mazumdar; Magdalena Balazinska; Alvin Cheung (CoRR, 2020)

Visualization by example. - Chenglong Wang; Yu Feng 001; Rastislav Bodík; Alvin Cheung; Isil Dillig (Proc. ACM Program. Lang., 2020)

PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context. - Xinyun Chen; Linyuan Gong; Alvin Cheung; Dawn Song (ACL/IJCNLP (1), 2021)

Falx: Synthesis-Powered Visualization Authoring. - Chenglong Wang; Yu Feng 001; Rastislav Bodík; Isil Dillig; Alvin Cheung; Amy J. Ko (CHI, 2021)

New Directions in Cloud Programming. - Alvin Cheung; Natacha Crooks; Joseph M. Hellerstein; Mae Milano (CIDR, 2021)

A PACTful Agenda for Cloud Programming Research: (Invited Talk). - Alvin Cheung (DBPL, 2021)

VSS: A Storage System for Video Analytics. - Brandon Haynes; Maureen Daum; Dong He 002; Amrita Mazumdar; Magdalena Balazinska; Alvin Cheung; Luis Ceze (SIGMOD Conference, 2021)

VSS: A Storage System for Video Analytics [Technical Report]. - Brandon Haynes; Maureen Daum; Dong He 002; Amrita Mazumdar; Magdalena Balazinska; Alvin Cheung; Luis Ceze (CoRR, 2021)

Demonstration of Apperception: A Database Management System for Geospatial Video Data. - Vanessa Lin; Yongming Ge; Maureen Daum; Alvin Cheung; Brandon Haynes; Magdalena Balazinska (Proc. VLDB Endow., 2021)

Vector instruction selection for digital signal processors using program synthesis. - Maaz Bin Safeer Ahmad; Alexander J. Root; Andrew Adams; Shoaib Kamil 001; Alvin Cheung (ASPLOS, 2022)

GACT: Activation Compressed Training for Generic Network Architectures. - Xiaoxuan Liu; Lianmin Zheng; Dequan Wang; Yukuo Cen; Weize Chen; Xu Han 007; Jianfei Chen; Zhiyuan Liu 001; Jie Tang 001; Joey Gonzalez; Michael W. Mahoney; Alvin Cheung (ICML, 2022)

Synthesizing analytical SQL queries from computation demonstration. - Xiangyu Zhou; Rastislav Bodík; Alvin Cheung; Chenglong Wang (PLDI, 2022)

Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. - Xiaoxuan Liu; Shuxian Wang; Mengzhu Sun; Sharon Lee; Sicheng Pan; Joshua Wu; Cong Yan; Junwen Yang; Shan Lu 001; Alvin Cheung (CoRR, 2022)

The Sky Above The Clouds. - Sarah E. Chasins; Alvin Cheung; Natacha Crooks; Ali Ghodsi 002; Ken Goldberg; Joseph E. Gonzalez; Joseph M. Hellerstein; Michael I. Jordan; Anthony D. Joseph; Michael W. Mahoney; Aditya G. Parameswaran; David A. Patterson 001; et al. (CoRR, 2022)

Synthesizing CRDTs from Sequential Data Types with Verified Lifting. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2022)

GACT: Activation Compressed Training for General Architectures. - Xiaoxuan Liu; Lianmin Zheng; Dequan Wang; Yukuo Cen; Weize Chen; Xu Han 007; Jianfei Chen; Zhiyuan Liu 001; Jie Tang 001; Joey Gonzalez; Michael W. Mahoney; Alvin Cheung (CoRR, 2022)

NumS: Scalable Array Programming for the Cloud. - Melih Elibol; Vinamra Benara; Samyu Yagati; Lianmin Zheng; Alvin Cheung; Michael I. Jordan; Ion Stoica (CoRR, 2022)

Katara: synthesizing CRDTs with verified lifting. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Joseph M. Hellerstein (Proc. ACM Program. Lang., 2022)

Keep CALM and CRDT On. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Natacha Crooks; Joseph M. Hellerstein (Proc. VLDB Endow., 2022)

Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers. - Linyuan Gong; Chenyan Xiong; Xiaodong Liu 003; Payal Bajaj; Yiqing Xie; Alvin Cheung; Jianfeng Gao 001; Xia Song (ACL (1), 2023)

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). - Sahil Bhatia; Sumer Kohli; Sanjit A. Seshia; Alvin Cheung (ECOOP, 2023)

Interpretability Meets Generalizability: A Hybrid Machine Learning System to Identify Nonlinear Granger Causality in Global Stock Indices. - Yixiao Lu; Yokiu Lee; Haoran Feng; Johnathan Chi-Ho Leung; Alvin Cheung; Katharina Dost; Katerina Taskova; Thomas Lacombe (PAKDD (2), 2023)

What is the State of Memory Saving for Model Training? - Xiaoxuan Liu; Siddharth Jha; Chuyan Zhu; Zhuohan Li 001; Alvin Cheung (CoRR, 2023)

Optimizing Stateful Dataflow with Local Rewrites. - Shadaj Laddad; Conor Power; Tyler Hou; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2023)

Code Transpilation for Hardware Accelerators. - Yuto Nishida; Sahil Bhatia; Shadaj Laddad; Hasan Genc; Yakun Sophia Shao; Alvin Cheung (CoRR, 2023)

Towards Auto-Generated Data Systems. - Alvin Cheung; Maaz Bin Safeer Ahmad; Brandon Haynes; Chanwut Kittivorawong; Shadaj Laddad; Xiaoxuan Liu; Chenglong Wang; Cong Yan (Proc. VLDB Endow., 2023)

Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. - Xiaoxuan Liu; Shuxian Wang; Mengzhu Sun; Sicheng Pan; Ge Li; Siddharth Jha; Cong Yan; Junwen Yang; Shan Lu 001; Alvin Cheung (Proc. VLDB Endow., 2023)

Inferring Visualization Intent from Conversation. - Haotian Li 001; Nithin Chalapathi; Huamin Qu; Alvin Cheung; Aditya G. Parameswaran (CIKM, 2024)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (ECOOP, 2024)

AST-T5: Structure-Aware Pretraining for Code Generation and Understanding. - Linyuan Gong; Mostafa Elhoushi; Alvin Cheung (ICML, 2024)

Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks. - Linyuan Gong; Sida Wang; Mostafa Elhoushi; Alvin Cheung (ICML, 2024)

Online Speculative Decoding. - Xiaoxuan Liu; Lanxiang Hu; Peter Bailis; Alvin Cheung; Zhijie Deng; Ion Stoica; Hao Zhang 025 (ICML, 2024)

ADELT: Transpilation between Deep Learning Frameworks. - Linyuan Gong; Jiayi Wang; Alvin Cheung (IJCAI, 2024)

To Tile or not to Tile, That is the Question. - Altan Haan; Doru-Thom Popovici; Koushik Sen; Costin Iancu; Alvin Cheung (IPDPS (Workshops), 2024)

SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. - Arash Ardakani; Altan Haan; Shangyin Tan; Doru-Thom Popovici; Alvin Cheung; Costin Iancu; Koushik Sen (NAACL-HLT, 2024)

Verified Code Transpilation with LLMs. - Sahil Bhatia; Jie Qiu; Niranjan Hasabnis; Sanjit Seshia; Alvin Cheung (NeurIPS, 2024)

M 'elange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity. - Tyler Griggs; Xiaoxuan Liu; Jiaxiang Yu; Doyoung Kim; Wei-Lin Chiang; Alvin Cheung; Ion Stoica (CoRR, 2024)

Optimizing Speculative Decoding for Serving Large Language Models Using Goodput. - Xiaoxuan Liu; Cade Daniel; Langxiang Hu; Woosuk Kwon; Zhuohan Li 001; Xiangxi Mo; Alvin Cheung; Zhijie Deng; Ion Stoica; Hao Zhang 025 (CoRR, 2024)

Suki: Choreographed Distributed Dataflow in Rust. - Shadaj Laddad; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2024)

LLM-Aided Compilation for Tensor Accelerators. - Charles Hong; Sahil Bhatia; Altan Haan; Shengjun Kris Dong; Dima Nikiforov; Alvin Cheung; Yakun Sophia Shao (CoRR, 2024)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (Dagstuhl Artifacts Ser., 2024)

Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments. - Gabriel Matute; Wode Ni; Titus Barik; Alvin Cheung; Sarah E. Chasins (Proc. ACM Program. Lang., 2024)

Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations. - Chanwut Kittivorawong; Yongming Ge; Yousef Helal; Alvin Cheung (Proc. VLDB Endow., 2024)

QED: A Powerful Query Equivalence Decider for SQL. - Shuxian Wang; Sicheng Pan; Alvin Cheung (Proc. VLDB Endow., 2024)

Flo: A Semantic Foundation for Progressive Stream Processing. - Shadaj Laddad; Alvin Cheung; Joseph M. Hellerstein; Mae Milano (Proc. ACM Program. Lang., 2025)

TWIX: Automatically Reconstructing Structured Data from Templatized Documents. - Yiming Lin; Mawil Hasan; Rohan Kosalge; Alvin Cheung; Aditya G. Parameswaran (CoRR, 2025)

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators. - Charles Hong; Sahil Bhatia; Alvin Cheung; Yakun Sophia Shao (CoRR, 2025)

Structure-Aware Fill-in-the-Middle Pretraining for Code. - Linyuan Gong; Alvin Cheung; Mostafa Elhoushi; Sida Wang (CoRR, 2025)