Alvin Cheung

154 papers A* 19A 13C 1Misc 1Journal 84Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Arming Data Agents with Tribal Knowledge.
CoRR
Shubham Agarwal, Asim Biswal, Sepanta Zeighami, Alvin Cheung, Joseph Gonzalez, Aditya G. Parameswaran
2026 J jnl
Qrita: High-performance Top-k and Top-p Algorithm for GPUs using Pivot-based Truncation and Selection.
CoRR
Jongseok Park, Sunga Kim, Alvin Cheung, Ion Stoica
2026 J jnl
SVG-EAR: Parameter-Free Linear Compensation for Sparse Video Generation via Error-aware Routing.
CoRR
Xuanyi Zhou, Qiuyang Mang, Shuo Yang, Haocheng Xi, Jintao Zhang, Huanzhi Mao, Joseph E. Gonzalez, Kurt Keutzer, Ion Stoica, Alvin Cheung
2026 J jnl
Speculative Decoding: Performance or Illusion?
CoRR
Xiaoxuan Liu, Jiaxiang Yu, Jongseok Park, Ion Stoica, Alvin Cheung
2026 A conf
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First.
CIDR
Shu Liu, Soujanya Ponnapalli, Shreya Shankar, Sepanta Zeighami, Alan Zhu, Shubham Agarwal, Ruiqi Chen, Samion Suwito, Shuo Yuan, Ion Stoica, Matei Zaharia, Alvin Cheung, Natacha Crooks, Joseph Gonzalez, Aditya G. Parameswaran
2025 J jnl
Autocomp: LLM-Driven Code Optimization for Tensor Accelerators.
CoRR
Charles Hong, Sahil Bhatia, Alvin Cheung, Yakun Sophia Shao
2025 J jnl
Automated Discovery of Test Oracles for Database Management Systems Using LLMs.
CoRR
Qiuyang Mang, Runyuan He, Suyang Zhong, Xiaoxuan Liu, Huanchen Zhang, Alvin Cheung
2025 J jnl
Continuum: Efficient and Robust Multi-Turn LLM Agent Scheduling with KV Cache Time-to-Live.
CoRR
Hanchen Li, Qiuyang Mang, Runyuan He, Qizheng Zhang, Huanzhi Mao, Xiaokun Chen, Alvin Cheung, Joseph Gonzalez, Ion Stoica
2025 J jnl
Flo: A Semantic Foundation for Progressive Stream Processing.
Proc. ACM Program. Lang.
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2025 J jnl
FrontierCS: Evolving Challenges for Evolving Intelligence.
CoRR
Qiuyang Mang, Wenhao Chai, Zhifei Li, Huanzhi Mao, Shang Zhou, Alexander Du, Hanchen Li, Shu Liu, Edwin Chen, Yichuan Wang, Xieting Chu, Zerui Cheng, Yuan Xu, Tian Xia, Zirui Wang, Tianneng Shi, Jianzhu Yao, Yilong Zhao, Qizheng Zhang, Charlie Ruan, Zeyu Shen, Kaiyuan Liu, Runyuan He, Dong Xing, Zerui Li, Zirong Zeng, Yige Jiang, Lufeng Cheng, Ziyi Zhao, Youran Sun, Wesley Zheng, Meiyuwang Zhang, Ruyi Ji, Xuechang Tu, Zihan Zheng, Zexing Chen, Kangyang Zhou, Zhaozi Wang, Jingbang Chen, Aleksandra Korolova, Peter Henderson, Pramod Viswanath, Vijay Ganesh, Saining Xie, Zhuang Liu, Dawn Song, Sewon Min, Ion Stoica, Joseph E. Gonzalez, Jingbo Shang, Alvin Cheung
2025 J jnl
Optimism in Equality Saturation.
CoRR
Russel Arbore, Alvin Cheung, Max Willsey
2025 J jnl
Structure-Aware Fill-in-the-Middle Pretraining for Code.
CoRR
Linyuan Gong, Alvin Cheung, Mostafa Elhoushi, Sida Wang
2025 J jnl
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First.
CoRR
Shu Liu, Soujanya Ponnapalli, Shreya Shankar, Sepanta Zeighami, Alan Zhu, Shubham Agarwal, Ruiqi Chen, Samion Suwito, Shuo Yuan, Ion Stoica, Matei Zaharia, Alvin Cheung, Natacha Crooks, Joseph E. Gonzalez, Aditya G. Parameswaran
2025 J jnl
TWIX: Automatically Reconstructing Structured Data from Templatized Documents.
CoRR
Yiming Lin, Mawil Hasan, Rohan Kosalge, Alvin Cheung, Aditya G. Parameswaran
2025 J jnl
Visual Template Inference for Data Extraction from Documents.
Proc. ACM Manag. Data
Yiming Lin, Mawil Hasan, Rohan Kosalge, Alvin Cheung, Aditya G. Parameswaran
2024 A* conf
ADELT: Transpilation between Deep Learning Frameworks.
IJCAI
Linyuan Gong, Jiayi Wang, Alvin Cheung
2024 A* conf
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding.
ICML
Linyuan Gong, Mostafa Elhoushi, Alvin Cheung
2024 J jnl
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding.
CoRR
Linyuan Gong, Mostafa Elhoushi, Alvin Cheung
2024 A* conf
Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks.
ICML
Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung
2024 J jnl
Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks.
CoRR
Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung
2024 J jnl
Flo: a Semantic Foundation for Progressive Stream Processing.
CoRR
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2024 A conf
Inferring Visualization Intent from Conversation.
CIKM
Haotian Li, Nithin Chalapathi, Huamin Qu, Alvin Cheung, Aditya G. Parameswaran
2024 J jnl
LLM-Aided Compilation for Tensor Accelerators.
CoRR
Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao
2024 J jnl
M\'elange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity.
CoRR
Tyler Griggs, Xiaoxuan Liu, Jiaxiang Yu, Doyoung Kim, Wei-Lin Chiang, Alvin Cheung, Ion Stoica
2024 A* conf
Online Speculative Decoding.
ICML
Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang
2024 J jnl
Optimizing Speculative Decoding for Serving Large Language Models Using Goodput.
CoRR
Xiaoxuan Liu, Cade Daniel, Langxiang Hu, Woosuk Kwon, Zhuohan Li, Xiangxi Mo, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang
2024 J jnl
QED: A Powerful Query Equivalence Decider for SQL.
Proc. VLDB Endow.
Shuxian Wang, Sicheng Pan, Alvin Cheung
2024 — conf
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics.
NAACL-HLT
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
2024 J jnl
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations.
Proc. VLDB Endow.
Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung
2024 J jnl
Suki: Choreographed Distributed Dataflow in Rust.
CoRR
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein
2024 J jnl
Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments.
Proc. ACM Program. Lang.
Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, Sarah E. Chasins
2024 J jnl
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations.
CoRR
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 J jnl
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact).
Dagstuhl Artifacts Ser.
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 A conf
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.
ECOOP
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 — conf
To Tile or not to Tile, That is the Question.
IPDPS (Workshops)
Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung
2024 A* conf
Verified Code Transpilation with LLMs.
NeurIPS
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 J jnl
Verified Code Transpilation with LLMs.
CoRR
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2023 J jnl
ADELT: Transpilation Between Deep Learning Frameworks.
CoRR
Linyuan Gong, Jiayi Wang, Alvin Cheung
2023 A conf
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper).
ECOOP
Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung
2023 J jnl
Code Transpilation for Hardware Accelerators.
CoRR
Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung
2023 — conf
Interpretability Meets Generalizability: A Hybrid Machine Learning System to Identify Nonlinear Granger Causality in Global Stock Indices.
PAKDD (2)
Yixiao Lu, Yokiu Lee, Haoran Feng, Johnathan Chi-Ho Leung, Alvin Cheung, Katharina Dost, Katerina Taskova, Thomas Lacombe
2023 J jnl
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications.
Proc. VLDB Endow.
Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung
2023 — conf
Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers.
ACL (1)
Linyuan Gong, Chenyan Xiong, Xiaodong Liu, Payal Bajaj, Yiqing Xie, Alvin Cheung, Jianfeng Gao, Xia Song
2023 J jnl
Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers.
CoRR
Linyuan Gong, Chenyan Xiong, Xiaodong Liu, Payal Bajaj, Yiqing Xie, Alvin Cheung, Jianfeng Gao, Xia Song
2023 J jnl
Online Speculative Decoding.
CoRR
Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Ion Stoica, Zhijie Deng, Alvin Cheung, Hao Zhang
2023 J jnl
Optimizing Stateful Dataflow with Local Rewrites.
CoRR
Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein
2023 J jnl
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics.
CoRR
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
2023 J jnl
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations.
CoRR
Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung
2023 J jnl
Towards Auto-Generated Data Systems.
Proc. VLDB Endow.
Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan
2023 J jnl
What is the State of Memory Saving for Model Training?
CoRR
Xiaoxuan Liu, Siddharth Jha, Chuyan Zhu, Zhuohan Li, Alvin Cheung
2022 J jnl
GACT: Activation Compressed Training for General Architectures.
CoRR
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
2022 A* conf
GACT: Activation Compressed Training for Generic Network Architectures.
ICML
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
2022 J jnl
Katara: synthesizing CRDTs with verified lifting.
Proc. ACM Program. Lang.
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2022 J jnl
Keep CALM and CRDT On.
CoRR
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022 J jnl
Keep CALM and CRDT On.
Proc. VLDB Endow.
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022 J jnl
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications.
CoRR
Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sharon Lee, Sicheng Pan, Joshua Wu, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung
2022 J jnl
NumS: Scalable Array Programming for the Cloud.
CoRR
Melih Elibol, Vinamra Benara, Samyu Yagati, Lianmin Zheng, Alvin Cheung, Michael I. Jordan, Ion Stoica
2022 J jnl
Synthesizing Analytical SQL Queries from Computation Demonstration.
CoRR
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
2022 J jnl
Synthesizing CRDTs from Sequential Data Types with Verified Lifting.
CoRR
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2022 A* conf
Synthesizing analytical SQL queries from computation demonstration.
PLDI
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
2022 J jnl
The Seattle report on database research.
Commun. ACM
Daniel Abadi, Anastasia Ailamaki, David G. Andersen, Peter Bailis, Magdalena Balazinska, Philip A. Bernstein, Peter 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
2022 J jnl
The Sky Above The Clouds.
CoRR
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
2022 A* conf
Vector instruction selection for digital signal processors using program synthesis.
ASPLOS
Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung
2021 — conf
A PACTful Agenda for Cloud Programming Research: (Invited Talk).
DBPL
Alvin Cheung
2021 J jnl
Demonstration of Apperception: A Database Management System for Geospatial Video Data.
Proc. VLDB Endow.
Vanessa Lin, Yongming Ge, Maureen Daum, Alvin Cheung, Brandon Haynes, Magdalena Balazinska
2021 A* conf
Falx: Synthesis-Powered Visualization Authoring.
CHI
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 J jnl
Falx: Synthesis-Powered Visualization Authoring.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 A conf
New Directions in Cloud Programming.
CIDR
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano
2021 J jnl
New Directions in Cloud Programming.
CoRR
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano
2021 — conf
PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context.
ACL/IJCNLP (1)
Xinyun Chen, Linyuan Gong, Alvin Cheung, Dawn Song
2021 J jnl
VSS: A Storage System for Video Analytics [Technical Report].
CoRR
Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze
2021 — conf
VSS: A Storage System for Video Analytics.
SIGMOD Conference
Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze
2020 — conf
Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications.
SIGMOD Conference
Mingwei Samuel, Cong Yan, Alvin Cheung
2020 — conf
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning.
SIGMOD Conference
Guna Prasaad, Alvin Cheung, Dan Suciu
2020 A* conf
Managing data constraints in database-backed web applications.
ICSE
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
2020 — conf
Managing data constraints in database-backed web applications.
ICSE (Companion Volume)
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
2020 J jnl
TASM: A Tile-Based Storage Manager for Video Analytics.
CoRR
Maureen Daum, Brandon Haynes, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung
2020 — conf
Testing query execution engines with mutations.
DBTest@SIGMOD
Xinyue Chen, Chenglong Wang, Alvin Cheung
2020 A conf
View-Driven Optimization of Database-Backed Web Applications.
CIDR
Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu
2020 A conf
VisualWorldDB: A DBMS for the Visual World.
CIDR
Brandon Haynes, Maureen Daum, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze
2020 J jnl
Visualization by example.
Proc. ACM Program. Lang.
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2019 J jnl
Automatically translating image processing libraries to halide.
ACM Trans. Graph.
Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil
2019 J jnl
Generating Application-specific Data Layouts for In-memory Databases.
Proc. VLDB Endow.
Cong Yan, Alvin Cheung
2019 J jnl
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Max Willsey, Vincent T. Lee, Alvin Cheung, Rastislav Bodík, Luis Ceze
2019 — conf
Learning Programmatic Idioms for Scalable Semantic Parsing.
EMNLP/IJCNLP (1)
Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer
2019 J jnl
Learning Programmatic Idioms for Scalable Semantic Parsing.
CoRR
Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer
2019 — conf
Perceptual Compression for Video Storage and Processing Systems.
SoCC
Amrita Mazumdar, Brandon Haynes, Magda Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin
2019 — ed.
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, Phoenix, AZ, USA, June 23, 2019.
DBPL
Alvin Cheung, Kim Nguyen
2019 J jnl
The Seattle Report on Database Research.
SIGMOD Rec.
Daniel Abadi, Anastasia Ailamaki, David G. Andersen, Peter Bailis, Magdalena Balazinska, Philip A. Bernstein, Peter 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
2019 A* conf
View-centric performance optimization for database-backed web applications.
ICSE
Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung
2019 J jnl
Vignette: Perceptual Compression for Video Storage and Processing Systems.
CoRR
Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin
2019 — conf
Visual Road: A Video Data Management Benchmark.
SIGMOD Conference
Brandon Haynes, Amrita Mazumdar, Magdalena Balazinska, Luis Ceze, Alvin Cheung
2019 J jnl
Visualization by Example.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2018 — conf
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications.
SIGMOD Conference
Maaz Bin Safeer Ahmad, Alvin Cheung
2018 J jnl
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications.
CoRR
Maaz Bin Safeer Ahmad, Alvin Cheung
2018 J jnl
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
CoRR
Shumo Chu, Alvin Cheung, Dan Suciu
2018 J jnl
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
Proc. VLDB Endow.
Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu
2018 J jnl
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing.
CoRR
Tomer Kaftan, Magdalena Balazinska, Alvin Cheung, Johannes Gehrke
2018 A* conf
How
ICSE
Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung
2018 J jnl
Improving High Contention OLTP Performance via Transaction Scheduling.
CoRR
Guna Prasaad, Alvin Cheung, Dan Suciu
2018 J jnl
LightDB: A DBMS for Virtual Reality Video.
Proc. VLDB Endow.
Brandon Haynes, Amrita Mazumdar, Armin Alaghi, Magdalena Balazinska, Luis Ceze, Alvin Cheung
2018 A* conf
Mapping Language to Code in Programmatic Context.
EMNLP
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer
2018 J jnl
Mapping Language to Code in Programmatic Context.
CoRR
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer
2018 — conf
PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE.
ESEC/SIGSOFT FSE
Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung
2018 — ed.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018
MAPL@PLDI
Justin Gottschlich, Alvin Cheung
2018 J jnl
Speeding up symbolic reasoning for relational queries.
Proc. ACM Program. Lang.
Chenglong Wang, Alvin Cheung, Rastislav Bodík
2017 A conf
A Visual Cloud for Virtual Reality Applications.
CIDR
Magdalena Balazinska, Luis Ceze, Alvin Cheung, Brian Curless, Steven M. Seitz
2017 J jnl
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads.
Proc. VLDB Endow.
Parmita Mehta, Sven Dorkenwald, Dongfang Zhao, Tomer Kaftan, Alvin Cheung, Magdalena Balazinska, Ariel Rokem, Andrew J. Connolly, Jacob VanderPlas, Yusra AlSayyad
2017 A conf
Cosette: An Automated Prover for SQL.
CIDR
Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung
2017 — conf
Demonstration of the Cosette Automated SQL Prover.
SIGMOD Conference
Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu
2017 A* conf
HoTTSQL: proving query rewrites with univalent SQL semantics.
PLDI
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
2017 — conf
Interactive Query Synthesis from Input-Output Examples.
SIGMOD Conference
Chenglong Wang, Alvin Cheung, Rastislav Bodík
2017 — conf
Learning a Neural Semantic Parser from User Feedback.
ACL (1)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer
2017 J jnl
Learning a Neural Semantic Parser from User Feedback.
CoRR
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer
2017 — conf
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks.
SIGMOD Conference
Maaz Bin Safeer Ahmad, Alvin Cheung
2017 A* conf
Synthesizing highly expressive SQL queries from input-output examples.
PLDI
Chenglong Wang, Alvin Cheung, Rastislav Bodík
2017 A conf
Understanding Database Performance Inefficiencies in Real-world Web Applications.
CIKM
Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu
2017 — conf
VisualCloud Demonstration: A DBMS for Virtual Reality.
SIGMOD Conference
Brandon Haynes, Artem Minyaylov, Magdalena Balazinska, Luis Ceze, Alvin Cheung
2016 J jnl
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads.
CoRR
Parmita Mehta, Sven Dorkenwald, Dongfang Zhao, Tomer Kaftan, Alvin Cheung, Magdalena Balazinska, Ariel Rokem, Andrew J. Connolly, Jacob VanderPlas, Yusra AlSayyad
2016 J jnl
Computer-Assisted Query Formulation.
Found. Trends Program. Lang.
Alvin Cheung, Armando Solar-Lezama
2016 J jnl
Database-Backed Applications in the Wild: How Well Do They Work?
CoRR
Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu
2016 J jnl
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics.
CoRR
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
2016 J jnl
Leveraging Lock Contention to Improve OLTP Application Performance.
Proc. VLDB Endow.
Cong Yan, Alvin Cheung
2016 — conf
Leveraging Parallel Data Processing Frameworks with Verified Lifting.
SYNT@CAV
Maaz Bin Safeer Ahmad, Alvin Cheung
2016 A* conf
Packet Transactions: High-Level Programming for Line-Rate Switches.
SIGCOMM
Anirudh Sivaraman, Alvin Cheung, Mihai Budiu, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking
2016 — conf
PipeGen: Data Pipe Generator for Hybrid Analytics.
SoCC
Brandon Haynes, Alvin Cheung, Magdalena Balazinska
2016 J jnl
PipeGen: Data Pipe Generator for Hybrid Analytics.
CoRR
Brandon Haynes, Alvin Cheung, Magdalena Balazinska
2016 J jnl
Sloth: Being Lazy Is a Virtue (When Issuing Database Queries).
ACM Trans. Database Syst.
Alvin Cheung, Samuel Madden, Armando Solar-Lezama
2016 — conf
Summarizing Source Code using a Neural Attention Model.
ACL (1)
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer
2016 A* conf
Verified lifting of stencil computations.
PLDI
Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama
2015 — conf
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.
SNAPL
Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama
2015 J jnl
Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed.
CoRR
Anirudh Sivaraman, Mihai Budiu, Alvin Cheung, Changhoon Kim, Steve Licking, George Varghese, Hari Balakrishnan, Mohammad Alizadeh, Nick McKeown
2015 — —
Rethinking the application-database interface.
Alvin Cheung
2015 A conf
Towards Generating Application-Specific Data Management Systems.
CIDR
Alvin Cheung
2014 — conf
Rethinking the application-database interface.
PSFW@HPDC
Alvin Cheung
2014 — conf
Sloth: being lazy is a virtue (when issuing database queries).
SIGMOD Conference
Alvin Cheung, Samuel Madden, Armando Solar-Lezama
2014 J jnl
Using Program Analysis to Improve Database Applications.
IEEE Data Eng. Bull.
Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers
2013 — conf
Mobile applications need targeted micro-updates.
APSys
Alvin Cheung, Lenin Ravindranath, Eugene Wu, Samuel Madden, Hari Balakrishnan
2013 A* conf
Optimizing database-backed applications with query synthesis.
PLDI
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2013 — conf
Speeding up database applications with Pyxis.
SIGMOD Conference
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
2013 A conf
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.
CIDR
Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers
2012 J jnl
Automatic Partitioning of Database Applications
CoRR
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
2012 J jnl
Automatic Partitioning of Database Applications.
Proc. VLDB Endow.
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
2012 J jnl
Inferring SQL Queries Using Program Synthesis
CoRR
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2012 — conf
Undefined behavior: what happened to my code?
APSys
Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2012 J jnl
Using Program Synthesis for Social Recommendations
CoRR
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2012 A conf
Using program synthesis for social recommendations.
CIKM
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2011 Misc conf
Automatically generating interesting events with LifeJoin.
SenSys
Alvin Cheung, Arvind Thiagarajan, Samuel Madden
2011 — conf
Partial replay of long-running applications.
SIGSOFT FSE
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2008 J jnl
Performance profiling with EndoScope, an acquisitional software monitoring framework.
Proc. VLDB Endow.
Alvin Cheung, Samuel Madden
2007 A* conf
Theseos: A Query Engine for Traceability across Sovereign, Distributed RFID Databases.
ICDE
Alvin Cheung, Karin Kailing, Stefan Schönauer
2007 — conf
Ïnfïnïty: a generic platform for application development and information sharing on mobile devices.
MobiDE
Alvin Cheung, Tyrone Grandison, Christopher M. Johnson, Stefan Schönauer
2006 C conf
Towards Traceability across Sovereign, Distributed RFID Databases.
IDEAS
Rakesh Agrawal, Alvin Cheung, Karin Kailing, Stefan Schönauer
2005 — conf
A New Method for Design of Robust Digital Circuits.
ISQED
Dinesh Patil, Sunghee Yun, Seung-Jean Kim, Alvin Cheung, Mark Horowitz, Stephen P. Boyd