papers
Publications (16)
cs.DB2016
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads
Parmita Mehta, Sven Dorkenwald, Dongfang Zhao +7
cs.PL2016
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Shumo Chu, Konstantin Weitz, Alvin Cheung +1
cs.MM2019
Vignette: Perceptual Compression for Video Storage and Processing Systems
Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska +3
cs.DB2016
Database-Backed Web Applications in the Wild: How Well Do They Work?
Cong Yan, Alvin Cheung, Shan Lu
cs.CL2018
Mapping Language to Code in Programmatic Context
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung +1
cs.CL2017
Learning a Neural Semantic Parser from User Feedback
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung +2
cs.LG2012
Using Program Synthesis for Social Recommendations
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
cs.DB2018
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications
Maaz Bin Safeer Ahmad, Alvin Cheung
cs.NI2016
Packet Transactions: High-level Programming for Line-Rate Switches
Anirudh Sivaraman, Mihai Budiu, Alvin Cheung +6
cs.DB2018
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing
Tomer Kaftan, Magdalena Balazinska, Alvin Cheung +1
cs.PL2016
Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
cs.DB2016
PipeGen: Data Pipe Generator for Hybrid Analytics
Brandon Haynes, Alvin Cheung, Magdalena Balazinska
cs.PL2012
Inferring SQL Queries Using Program Synthesis
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
cs.DB2018
Improving High Contention OLTP Performance via Transaction Scheduling
Guna Prasaad, Alvin Cheung, Dan Suciu
cs.DB2018
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Shumo Chu, Brendan Murphy, Jared Roesch +2
cs.DB2012
Automatic Partitioning of Database Applications
Alvin Cheung, Owen Arden, Samuel Madden +1