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 2020	Committee Member in Program Committee within the PLDI Research Papers-track
MAPL 2019	Committee Member in Steering Committee within the MAPL 2019-track
DBPL 2019	PC 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 2018	Session 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 2018	Author 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 2019	Author of View-Centric Performance Optimization for Database-Backed Web Applications within the Technical Track-track
ESEC/FSE 2018	Author of PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE within the Demonstrations-track
RDP 2017	Author of Cosette: A Solver for SQL Equivalences within the RDP-track
PLMW@PLDI	Panelist 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 2017	Author 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 2016	Author of Verified Lifting of Stencil Computations within the Research Papers-track
SPLASH 2015	Committee Member in External Review Committee within the OOPSLA-track