Alvin Cheung

Registered user since Fri 19 Dec 2014

Name: Alvin Cheung

Affiliation: University of Washington

Personal website: http://homes.cs.washington.edu/~akcheung

Contributions

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
MAPL 2019Committee Member in Steering Committee within the MAPL 2019-track
DBPL 2019PC co-chair in Program Committee within the DBPL 2019-track
Session Chair of Welcome (part of DBPL 2019)
Co-chair in Organizing Committee within the DBPL 2019-track
MAPL 2018Session Chair of Introduction (part of MAPL 2018)
Program Chair in Program Committee within the MAPL 2018-track
Session Chair of Closing Remarks (part of MAPL 2018)
SPLASH 2018Author of Speeding up Symbolic Reasoning for Relational Queries within the Posters-track
Author of Speeding up Symbolic Reasoning for Relational Queries within the OOPSLA-track
ICSE 2019Author of View-Centric Performance Optimization for Database-Backed Web Applications within the Technical Track-track
ESEC/FSE 2018Author of PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE within the Demonstrations-track
RDP 2017Author of Cosette: A Solver for SQL Equivalences within the RDP-track
PLMW@PLDIPanelist in Organizing Committee within the PLMW@PLDI 2016-track
Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track
PLDI 2017Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track
Session Chair of Verified Computation (part of PLDI Research Papers)
Author of Synthesizing Highly Expressive SQL Queries from Input-Output Examples within the PLDI Research Papers-track
Committee Member in Program Committee
* ICSE 2018 *Author of How not to structure your database-backed web applications: a study of performance bugs in the wild within the Technical Papers -track
PLDI 2016Author of Verified Lifting of Stencil Computations within the Research Papers-track
SPLASH 2015Committee Member in External Review Committee within the OOPSLA-track