Alvin Cheung

According to our database1, Alvin Cheung authored at least 45 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2019

2018
LightDB: A DBMS for Virtual Reality Video.
PVLDB, 2018

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

Speeding up symbolic reasoning for relational queries.
PACMPL, 2018

PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE.
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.
Proceedings of the 2018 International Conference on Management of Data, 2018

How not to structure your database-backed web applications: a study of performance bugs in the wild.
Proceedings of the 40th International Conference on Software Engineering, 2018

Mapping Language to Code in Programmatic Context.
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.
PVLDB, 2017

Interactive Query Synthesis from Input-Output Examples.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

VisualCloud Demonstration: A DBMS for Virtual Reality.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Demonstration of the Cosette Automated SQL Prover.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Synthesizing highly expressive SQL queries from input-output examples.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

HoTTSQL: proving query rewrites with univalent SQL semantics.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Understanding Database Performance Inefficiencies in Real-world Web Applications.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Cosette: An Automated Prover for SQL.
Proceedings of the CIDR 2017, 2017

A Visual Cloud for Virtual Reality Applications.
Proceedings of the CIDR 2017, 2017

Learning a Neural Semantic Parser from User Feedback.
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017

2016
Leveraging Lock Contention to Improve OLTP Application Performance.
PVLDB, 2016

Computer-Assisted Query Formulation.
Foundations and Trends in Programming Languages, 2016

Leveraging Parallel Data Processing Frameworks with Verified Lifting.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Packet Transactions: High-Level Programming for Line-Rate Switches.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Verified lifting of stencil computations.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

PipeGen: Data Pipe Generator for Hybrid Analytics.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Summarizing Source Code using a Neural Attention Model.
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

2015
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Towards Generating Application-Specific Data Management Systems.
Proceedings of the CIDR 2015, 2015

2014
Using Program Analysis to Improve Database Applications.
IEEE Data Eng. Bull., 2014

Sloth: being lazy is a virtue (when issuing database queries).
Proceedings of the International Conference on Management of Data, 2014

Rethinking the application-database interface.
Proceedings of the PFSW'14, 2014

2013
Speeding up database applications with Pyxis.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Optimizing database-backed applications with query synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.
Proceedings of the CIDR 2013, 2013

Mobile applications need targeted micro-updates.
Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012
Automatic Partitioning of Database Applications.
PVLDB, 2012

Using program synthesis for social recommendations.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Undefined behavior: what happened to my code?
Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011
Partial replay of long-running applications.
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.
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

2008
Performance profiling with EndoScope, an acquisitional software monitoring framework.
PVLDB, 2008

2007
Ïnfïnïty: a generic platform for application development and information sharing on mobile devices.
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.
Proceedings of the 23rd International Conference on Data Engineering, 2007

2006
Towards Traceability across Sovereign, Distributed RFID Databases.
Proceedings of the Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 2006

2005
A New Method for Design of Robust Digital Circuits.
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005


  Loading...