Alvin Cheung

According to our database, Alvin Cheung authored at least 110 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

QED: A Powerful Query Equivalence Decider for SQL.

Shuxian Wang, Sicheng Pan, Alvin Cheung

Proc. VLDB Endow., July, 2024

Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations.

Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung

Proc. VLDB Endow., May, 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

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

LLM-Aided Compilation for Tensor Accelerators.

Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao

CoRR, 2024

Suki: Choreographed Distributed Dataflow in Rust.

Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein

CoRR, 2024

Optimizing Speculative Decoding for Serving Large Language Models Using Goodput.

Xiaoxuan Liu, Cade Daniel, Langxiang Hu, Woosuk Kwon, Zhuohan Li, Xiangxi Mo, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang

CoRR, 2024

Verified Code Transpilation with LLMs.

Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

CoRR, 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

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

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

To Tile or not to Tile, That is the Question.

Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

ADELT: Transpilation between Deep Learning Frameworks.

Linyuan Gong, Jiayi Wang, Alvin Cheung

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Online Speculative Decoding.

Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks.

Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung

Proceedings of the Forty-first International Conference on Machine Learning, 2024

AST-T5: Structure-Aware Pretraining for Code Generation and Understanding.

Linyuan Gong, Mostafa Elhoushi, Alvin Cheung

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.

Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Inferring Visualization Intent from Conversation.

Haotian Li, Nithin Chalapathi, Huamin Qu, Alvin Cheung, Aditya G. Parameswaran

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

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, Alvin Cheung

Proc. VLDB Endow., 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

Code Transpilation for Hardware Accelerators.

Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung

CoRR, 2023

Optimizing Stateful Dataflow with Local Rewrites.

Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein

CoRR, 2023

What is the State of Memory Saving for Model Training?

Xiaoxuan Liu, Siddharth Jha, Chuyan Zhu, Zhuohan Li, Alvin Cheung

CoRR, 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 Leung, Alvin Cheung, Katharina Dost, Katerina Taskova, Thomas Lacombe

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper).

Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers.

Linyuan Gong, Chenyan Xiong, Xiaodong Liu, Payal Bajaj, Yiqing Xie, Alvin Cheung, Jianfeng Gao, Xia Song

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

Keep CALM and CRDT On.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein

Proc. VLDB Endow., 2022

Katara: synthesizing CRDTs with verified lifting.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

Proc. ACM Program. Lang., 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

GACT: Activation Compressed Training for General Architectures.

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

CoRR, 2022

Synthesizing CRDTs from Sequential Data Types with Verified Lifting.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

CoRR, 2022

The Sky Above The Clouds.

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

CoRR, 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, Alvin Cheung

CoRR, 2022

Synthesizing analytical SQL queries from computation demonstration.

Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

GACT: Activation Compressed Training for Generic Network Architectures.

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

Proceedings of the International Conference on Machine Learning, 2022

Vector instruction selection for digital signal processors using program synthesis.

Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

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

VSS: A Storage System for Video Analytics [Technical Report].

Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze

CoRR, 2021

VSS: A Storage System for Video Analytics.

Brandon Haynes, Maureen Daum, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

A PACTful Agenda for Cloud Programming Research: (Invited Talk).

Alvin Cheung

Proceedings of the DBPL '21: The 18th International Symposium on Database Programming Languages, 2021

New Directions in Cloud Programming.

Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano

Proceedings of the 11th Conference on Innovative Data Systems Research, 2021

Falx: Synthesis-Powered Visualization Authoring.

Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context.

Xinyun Chen, Linyuan Gong, Alvin Cheung, Dawn Song

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020

Visualization by example.

Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig

Proc. ACM Program. Lang., 2020

TASM: A Tile-Based Storage Manager for Video Analytics.

Maureen Daum, Brandon Haynes, Dong He, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung

CoRR, 2020

Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications.

Mingwei Samuel, Cong Yan, Alvin Cheung

Proceedings of the 2020 International Conference on Management of Data, 2020

Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning.

Guna Prasaad, Alvin Cheung, Dan Suciu

Proceedings of the 2020 International Conference on Management of Data, 2020

Testing query execution engines with mutations.

Xinyue Chen, Chenglong Wang, Alvin Cheung

Proceedings of the 8th International Workshop on Testing Database Systems, 2020

Managing data constraints in database-backed web applications.

Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

View-Driven Optimization of Database-Backed Web Applications.

Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

VisualWorldDB: A DBMS for the Visual World.

Brandon Haynes, Maureen Daum, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung, Luis Ceze

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

2019

Automatically translating image processing libraries to halide.

Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil

ACM Trans. Graph., 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

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, 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

SIGMOD Rec., 2019

Generating Application-specific Data Layouts for In-memory Databases.

Cong Yan, Alvin Cheung

Proc. VLDB Endow., 2019

Vignette: Perceptual Compression for Video Storage and Processing Systems.

Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin

CoRR, 2019

Visual Road: A Video Data Management Benchmark.

Brandon Haynes, Amrita Mazumdar, Magdalena Balazinska, Luis Ceze, Alvin Cheung

Proceedings of the 2019 International Conference on Management of Data, 2019

View-centric performance optimization for database-backed web applications.

Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung

Proceedings of the 41st International Conference on Software Engineering, 2019

Learning Programmatic Idioms for Scalable Semantic Parsing.

Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

Perceptual Compression for Video Storage and Processing Systems.

Amrita Mazumdar, Brandon Haynes, Magda Balazinska, Luis Ceze, Alvin Cheung, Mark Oskin

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

2018

LightDB: A DBMS for Virtual Reality Video.

Brandon Haynes, Amrita Mazumdar, Armin Alaghi, Magdalena Balazinska, Luis Ceze, Alvin Cheung

Proc. VLDB Endow., 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

Speeding up symbolic reasoning for relational queries.

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Proc. ACM Program. Lang., 2018

Improving High Contention OLTP Performance via Transaction Scheduling.

Guna Prasaad, Alvin Cheung, Dan Suciu

CoRR, 2018

Cuttlefish: A Lightweight Primitive for Adaptive Query Processing.

Tomer Kaftan, Magdalena Balazinska, Alvin Cheung, Johannes Gehrke

CoRR, 2018

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.

Shumo Chu, Alvin Cheung, Dan Suciu

CoRR, 2018

PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE.

Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications.

Maaz Bin Safeer Ahmad, Alvin Cheung

Proceedings of the 2018 International Conference on Management of Data, 2018

How <i>not</i> to structure your database-backed web applications: a study of performance bugs in the wild.

Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung

Proceedings of the 40th International Conference on Software Engineering, 2018

Mapping Language to Code in Programmatic Context.

Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

2017

Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads.

Parmita Mehta, Sven Dorkenwald, Dongfang Zhao, Tomer Kaftan, Alvin Cheung, Magdalena Balazinska, Ariel Rokem, Andrew J. Connolly, Jacob VanderPlas, Yusra AlSayyad

Proc. VLDB Endow., 2017

Interactive Query Synthesis from Input-Output Examples.

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

VisualCloud Demonstration: A DBMS for Virtual Reality.

Brandon Haynes, Artem Minyaylov, Magdalena Balazinska, Luis Ceze, Alvin Cheung

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Demonstration of the Cosette Automated SQL Prover.

Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks.

Maaz Bin Safeer Ahmad, Alvin Cheung

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Synthesizing highly expressive SQL queries from input-output examples.

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

HoTTSQL: proving query rewrites with univalent SQL semantics.

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Understanding Database Performance Inefficiencies in Real-world Web Applications.

Cong Yan, Alvin Cheung, Junwen Yang, Shan Lu

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Cosette: An Automated Prover for SQL.

Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung

Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017

A Visual Cloud for Virtual Reality Applications.

Magdalena Balazinska, Luis Ceze, Alvin Cheung, Brian Curless, Steven M. Seitz

Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017

Learning a Neural Semantic Parser from User Feedback.

Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, Luke Zettlemoyer

Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017

2016

Sloth: Being Lazy Is a Virtue (When Issuing Database Queries).

Alvin Cheung, Samuel Madden, Armando Solar-Lezama

ACM Trans. Database Syst., 2016

Leveraging Lock Contention to Improve OLTP Application Performance.

Cong Yan, Alvin Cheung

Proc. VLDB Endow., 2016

Computer-Assisted Query Formulation.

Alvin Cheung, Armando Solar-Lezama

Found. Trends Program. Lang., 2016

Database-Backed Applications in the Wild: How Well Do They Work?

Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu

CoRR, 2016

Leveraging Parallel Data Processing Frameworks with Verified Lifting.

Maaz Bin Safeer Ahmad, Alvin Cheung

Proceedings of the Proceedings Fifth Workshop on Synthesis, 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

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Verified lifting of stencil computations.

Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

PipeGen: Data Pipe Generator for Hybrid Analytics.

Brandon Haynes, Alvin Cheung, Magdalena Balazinska

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Summarizing Source Code using a Neural Attention Model.

Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

2015

Rethinking the application-database interface.

Alvin Cheung

PhD thesis, 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

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.

Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Towards Generating Application-Specific Data Management Systems.

Alvin Cheung

Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014

Using Program Analysis to Improve Database Applications.

Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers

IEEE Data Eng. Bull., 2014

Rethinking the application-database interface.

Alvin Cheung

Proceedings of the PFSW'14, 2014

2013

Speeding up database applications with Pyxis.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Optimizing database-backed applications with query synthesis.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.

Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

Mobile applications need targeted micro-updates.

Alvin Cheung, Lenin Ravindranath, Eugene Wu, Samuel Madden, Hari Balakrishnan

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

Automatic Partitioning of Database Applications.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers

Proc. VLDB Endow., 2012

Inferring SQL Queries Using Program Synthesis

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

CoRR, 2012

Using program synthesis for social recommendations.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Undefined behavior: what happened to my code?

Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Partial replay of long-running applications.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Automatically generating interesting events with LifeJoin.

Alvin Cheung, Arvind Thiagarajan, Samuel Madden

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

2008

Performance profiling with EndoScope, an acquisitional software monitoring framework.

Alvin Cheung, Samuel Madden

Proc. VLDB Endow., 2008

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

Proceedings of the Sixth ACM International Workshop on Data Engineering for Wireless and Mobile Access, 2007

Theseos: A Query Engine for Traceability across Sovereign, Distributed RFID Databases.

Alvin Cheung, Karin Kailing, Stefan Schönauer

Proceedings of the 23rd International Conference on Data Engineering, 2007

2006

Towards Traceability across Sovereign, Distributed RFID Databases.

Rakesh Agrawal, Alvin Cheung, Karin Kailing, Stefan Schönauer

Proceedings of the Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 2006

2005

A New Method for Design of Robust Digital Circuits.

Dinesh Patil, Sunghee Yun, Seung-Jean Kim, Alvin Cheung, Mark Horowitz, Stephen P. Boyd

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005